Constructive set theory with operations
From MaRDI portal
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
(23)- Full operational set theory with unbounded existential quantification and power set
- A minimalist two-level foundation for constructive mathematics
- Constructive theory of sets with types; compatibility with Church's thesis
- Rudimentary and arithmetical constructive set theory
- Morse set theory as a foundation for constructive mathematics
- Metamathematical properties of a constructive multi-typed theory
- On Feferman's operational set theory \textsf{OST}
- Realizability and existence property of a constructive set theory with types
- Extending constructive operational set theory by impredicative principles
- Elementary constructive operational set theory
- scientific article; zbMATH DE number 4177052 (Why is no real title available?)
- The Operational Perspective: Three Routes
- scientific article; zbMATH DE number 3954266 (Why is no real title available?)
- A constructive interpretation of the full set theory
- scientific article; zbMATH DE number 2051384 (Why is no real title available?)
- A new model construction by making a detour via intuitionistic theories. I: Operational set theory without choice is \(\Pi_1\)-equivalent to KP
- Proof-relevance in Bishop-style constructive mathematics
- The operational penumbra: some ontological aspects
- Proof theory of constructive systems: inductive types and univalence
- Local constructive set theory and inductive definitions
- A cumulative hierarchy of sets for constructive set theory
- The natural numbers in constructive set theory
- Extended bar induction in applicative theories
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)
