Constructive set theory with operations
From MaRDI portal
Publication:5457300
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
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)