Constructive set theory with operations
From MaRDI portal
Publication:5457300
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
- Extending constructive operational set theory by impredicative principles
- scientific article; zbMATH DE number 4177052 (Why is no real title available?)
- 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
- Extended bar induction in applicative theories
- A cumulative hierarchy of sets for constructive 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
- The natural numbers in constructive set theory
- Rudimentary and arithmetical constructive set theory
- scientific article; zbMATH DE number 3954266 (Why is no real title available?)
- 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)
