Elementary constructive operational set theory

MaRDI QIDQ3081642zbMATH OpenFDO

Authors Andrea Cantini, Laura Crosilla

Publication date 9 March 2011

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65)

Recommendations

• Operations, sets and classes
• Extending constructive operational set theory by impredicative principles
• Constructive set theory with operations
• scientific article; zbMATH DE number 1241476
• Full operational set theory with unbounded existential quantification and power set

Cited in

(17)

• Full operational set theory with unbounded existential quantification and power set
• Rudimentary and arithmetical constructive set theory
• Truth and the philosophy of mathematics
• Constructive theory of enumerable species
• Explicit mathematics and operational set theory: some ontological comparisons
• Extending constructive operational set theory by impredicative principles
• The Operational Perspective: Three Routes
• Operational closure and stability
• scientific article; zbMATH DE number 1241476 (Why is no real title available?)
• Operations, sets and classes
• A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP
• Positive set‐operators of low complexity
• Conservativity of transitive closure over weak constructive operational set theory
• The operational penumbra: some ontological aspects
• Relativizing operational set theory
• The natural numbers in constructive set theory
• Constructive set theory with operations

This page was built for publication: Elementary constructive operational set theory

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