Decision procedures for elementary sublanguages of set theory VII. Validity in set theory when a choice operator is present

This publication has 6 references indexed in Scilit:

• Decision procedures for elementary sublanguages of set theory. IV. Formulae involving a rank operator or one occurrence of Σ(x)={{y}| y ϵ x}
  Communications on Pure and Applied Mathematics, 1987
• Decision procedures for elementary sublanguages of set theory. VI. Multi‐level syllogistic extended by the powerset operator
  Communications on Pure and Applied Mathematics, 1985
• A note on the decidability of mls extended with the powerset operator
  Communications on Pure and Applied Mathematics, 1985
• Decision procedures for elementary sublanguages of set theory. III. Restricted classes of formulas involving the power set operator and the general set union operator
  Advances in Applied Mathematics, 1984
• Decision procedures for elementary sublanguages of set theory. II. Formulas involving restricted quantifiers, together with ordinal, integer, map, and domain notions
  Communications on Pure and Applied Mathematics, 1981
• Decision procedures for elementary sublanguages of set theory. I. Multi‐level syllogistic and some extensions
  Communications on Pure and Applied Mathematics, 1980