Decision procedures for elementary sublanguages of set theory. IV. Formulae involving a rank operator or one occurrence of Σ(x)={{y}|y εx}

DOI10.1002/CPA.3160400103MaRDI QIDQ3726080zbMATH OpenOpenAlexFDO

Authors Domenico Cantone, Alfredo Ferro, Giuseppe Sorace, Biagio Micale

Publication date 1987

Published in Communications on Pure and Applied Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/cpa.3160400103

zbMATH Keywords

ordering techniquesordinalsunquantified theory of sets

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Set theory (03E99)

Recommendations

• Publication:3475242
• scientific article; zbMATH DE number 679898
• scientific article; zbMATH DE number 5151001
• A note on the decidability of mls extended with the powerset operator
• Publication:5749278

Cites work

• Decision procedures for elementary sublanguages of set theory. III: Restricted classes of formulas involving the power set operator and the general set union operator

Cited in

(12)

• Decision procedures for elementary sublanguages of set theory. V. Multilevel syllogistic extended by the general union operator
• The automation of syllogistic. I: Syllogistic normal forms
• scientific article; zbMATH DE number 4143941 (Why is no real title available?)
• Decision procedures for elementary sublanguages of set theory. VI. Multi-level syllogistic extended by the powerset operator
• A note on the decidability of mls extended with the powerset operator
• Decision procedures for elementary sublanguages of set theory IX. Unsolvability of the decision problem for a restricted subclass of the Δ0-formulas in set theory
• scientific article; zbMATH DE number 4108742 (Why is no real title available?)
• scientific article; zbMATH DE number 679898 (Why is no real title available?)
• A decision procedure for a sublanguage of set theory involving monotone, additive, and multiplicative functions
• scientific article; zbMATH DE number 4183384 (Why is no real title available?)
• The decision problem for a three-sorted fragment of set theory with restricted quantification and finite enumerations
• Decision procedures for elementary sublanguages of set theory. XV: Multilevel syllogistic extended by the predicate Finite and the operators singleton and \(pred_ <\)

This page was built for publication: Decision procedures for elementary sublanguages of set theory. IV. Formulae involving a rank operator or one occurrence of Σ(x)={{y}|y εx}

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3726080)