The disjunction and related properties for constructive Zermelo-Fraenkel set theory
From MaRDI portal
Publication:5486250
Recommendations
- Metamathematical properties of intuitionistic set theories with choice principles
- Realizability for constructive Zermelo-Fraenkel set theory
- CZF does not have the existence property
- Constructive set theory and Brouwerian principles
- Characterizing the interpretation of set theory in Martin-Löf type theory
Cites work
- A quasi-intumonistic set theory
- Constructivism in mathematics. An introduction. Volume I
- Formal systems for some branches of intuitionistic analysis
- Inaccessible set axioms may have little consistency strength
- Realizability and recursive set theory
- Set existence property for intuitionistic theories with dependent choice
- The disjunction property implies the numerical existence property
- The lack of definable witnesses and provably recursive functions in intuitionistic set theories
- The strength of some Martin-Löf type theories
Cited in
(25)- CZF does not have the existence property
- Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
- From the weak to the strong existence property
- Disjunctive systems and L-Domains
- Characterizing the interpretation of set theory in Martin-Löf type theory
- The logic of multisets continued: The case of disjunction
- Constructive set theory and Brouwerian principles
- Lifschitz realizability as a topological construction
- Realisability for infinitary intuitionistic set theory
- Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory
- To be or not to be constructive, that is not the question
- Ordinal analysis of intuitionistic power and exponentiation Kripke Platek set theory
- Derived rules for predicative set theory: an application of sheaves
- Hybrids of the \({}^ \times \)-translation for \(\mathsf{CZF}^{\omega}\)
- Disjoint essential sets of implicates of a CQ Horn function
- Kripke models for subtheories of \textsf{CZF}
- Realizability for constructive Zermelo-Fraenkel set theory
- Metamathematical properties of intuitionistic set theories with choice principles
- Approximating Beppo Levi's \textit{principio di approssimazione}
- Refinement is equivalent to fullness
- A categorical reading of the numerical existence property in constructive foundations
- Numerical existence property and categories with an internal copy
- Eliminating disjunctions by disjunction elimination
- Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience
- Choice and independence of premise rules in intuitionistic set theory
This page was built for publication: The disjunction and related properties for constructive Zermelo-Fraenkel set theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5486250)
