Constructive set theory with operations

zbMATH Open1166.03031MaRDI QIDQ5457300FDOQ5457300

Authors: Andrea Cantini, Laura Crosilla 

Publication date: 14 April 2008

Recommendations

• Elementary constructive operational set theory
• Extending constructive operational set theory by impredicative principles
• Constructivist and structuralist foundations: Bishop's and Lawvere's theories of sets
• Constructive theory of sets with types; compatibility with Church's thesis
• Rudimentary and arithmetical constructive set theory

zbMATH Keywords

constructive set theory

Mathematics Subject Classification ID

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

Cited In (22)

• A minimalist two-level foundation for constructive mathematics
• Realizability and existence property of a constructive set theory with types
• Full operational set theory with unbounded existential quantification and power set
• A constructive interpretation of the full set theory
• Title not available (Why is that?)
• Extending constructive operational set theory by impredicative principles
• The Operational Perspective: Three Routes
• Proof theory of constructive systems: inductive types and univalence
• The operational penumbra: some ontological aspects
• Metamathematical properties of a constructive multi-typed theory
• On Feferman's operational set theory \textsf{OST}
• Local constructive set theory and inductive definitions
• Proof-relevance in Bishop-style constructive mathematics
• A cumulative hierarchy of sets for constructive set theory
• Title not available (Why is that?)
• Extended bar induction in applicative theories
• The natural numbers in constructive set theory
• A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP
• Rudimentary and arithmetical constructive set theory
• Title not available (Why is that?)
• Elementary constructive operational set theory
• Constructive theory of sets with types; compatibility with Church's thesis

This page was built for publication: Constructive set theory with operations

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