Decision procedures for elementary sublanguages of set theory. IV. Formulae involving a rank operator or one occurrence of Σ(x)={{y}| y ϵ x}
- 1 January 1987
- journal article
- Published by Wiley in Communications on Pure and Applied Mathematics
- Vol. 40 (1) , 37-77
- https://doi.org/10.1002/cpa.3160400103
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Decision procedures for elementary sublanguages of set theory. III. Restricted classes of formulas involving the power set operator and the general set union operatorAdvances in Applied Mathematics, 1984
- 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