Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case

Domenico Cantone, Andrea De Domenico, Pietro Maugeri, Eugenio G. Omodeo. Complexity Assessments for Decidable Fragments of Set Theory. I: A Taxonomy for the Boolean Case. Fundamenta Informaticae, 181(1):37-69, 2021. [doi]

Abstract

Abstract is missing.