Applications of formative process to the decision problem in set theory

MaRDI QIDQ3594047zbMATH OpenFDO

Authors Domenico Cantone, Pietro Ursino

Publication date 7 August 2007

zbMATH Keywords

Zermelo-Fraenkel set theorysatisfaction algorithmsatisfiability decision problem

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Axiomatics of classical set theory and its fragments (03E30)

Recommendations

• Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators
• An introduction to the technique of formative processes in set theory
• Techniques of computable set theory with applications to proof verification
• scientific article; zbMATH DE number 1263308
• scientific article; zbMATH DE number 1641581

Cited in

(4)

• An introduction to the technique of formative processes in set theory
• scientific article; zbMATH DE number 2150614 (Why is no real title available?)
• scientific article; zbMATH DE number 517057 (Why is no real title available?)
• Formative processes with applications to the decision problem in set theory. I: Powerset and singleton operators

This page was built for publication: Applications of formative process to the decision problem in set theory

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