A note on the decidability of mls extended with the powerset operator
- 1 July 1985
- journal article
- Published by Wiley in Communications on Pure and Applied Mathematics
- Vol. 38 (4) , 367-374
- https://doi.org/10.1002/cpa.3160380403
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notionsCommunications on Pure and Applied Mathematics, 1981
- Decision procedures for elementary sublanguages of set theory. I. Multi‐level syllogistic and some extensionsCommunications on Pure and Applied Mathematics, 1980
- The ∀n∃‐Completeness of Zermelo‐Fraenkel Set TheoryMathematical Logic Quarterly, 1978
- Beiträge zur Algebra der Logik, insbesondere zum EntscheidungsproblemMathematische Annalen, 1922