Decision procedures for elementary sublanguages of set theory. III. Restricted classes of formulas involving the power set operator and the general set union operator
- 1 June 1984
- journal article
- review article
- Published by Elsevier in Advances in Applied Mathematics
- Vol. 5 (2) , 147-215
- https://doi.org/10.1016/0196-8858(84)90007-1
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
- Sentences with three quantifiers are decidable in set theoryFundamenta Mathematicae, 1979
- Beiträge zur Algebra der Logik, insbesondere zum EntscheidungsproblemMathematische Annalen, 1922