Applications of formative process to the decision problem in set theory

zbMATH Open1195.03012MaRDI QIDQ3594047FDOQ3594047

Authors: Domenico Cantone, Pietro Ursino 

Publication date: 7 August 2007

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

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)

Cited In (4)

• Title not available (Why is that?)
• Title not available (Why is that?)
• 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

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)