From the weak to the strong existence property

DOI10.1016/J.APAL.2012.01.012zbMATH Open1259.03076OpenAlexW2059656706WikidataQ59902306 ScholiaQ59902306MaRDI QIDQ448335FDOQ448335

Authors: Michael Rathjen 

Publication date: 6 September 2012

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2012.01.012

Recommendations

• CZF does not have the existence property
• Set existence property for intuitionistic theories with dependent choice
• The lack of definable witnesses and provably recursive functions in intuitionistic set theories
• Some properties of epistemic set theory with collection
• scientific article; zbMATH DE number 3841848

zbMATH Keywords

realizabilityintuitionistic set theoryexistence propertyset recursive functionsweak existence property

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Cites Work

• Title not available (Why is that?)
• On the interpretation of intuitionistic number theory
• Constructive set theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Constructivism in mathematics. An introduction. Volume II
• Disjunction and existence under implication in elementary intuitionistic formalisms
• The lack of definable witnesses and provably recursive functions in intuitionistic set theories
• Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory
• Characterizing the interpretation of set theory in Martin-Löf type theory
• Title not available (Why is that?)
• The formulae-as-classes interpretation of constructive set theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Relativized ordinal analysis: the case of power Kripke-Platek set theory
• Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
• A quasi-intumonistic set theory
• Title not available (Why is that?)
• Eine Variante zur Dialectica-Interpretation der Heyting-Arithmetik endlicher Typen
• Power set recursion
• Functional interpretation of Aczel's constructive set theory
• Lifschitz' realizability
• Title not available (Why is that?)
• CT 0 is Stronger than CT 0 !
• Title not available (Why is that?)
• IKP and friends
• Metamathematical properties of intuitionistic set theories with choice principles
• Realizability for constructive Zermelo-Fraenkel set theory
• The disjunction and related properties for constructive Zermelo-Fraenkel set theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Formalized recursive functionals and formalized realizability
• Title not available (Why is that?)
• Formal systems for some branches of intuitionistic analysis
• Set existence property for intuitionistic theories with dependent choice
• Hybrids of the \({}^ \times \)-translation for \(\mathsf{CZF}^{\omega}\)

Cited In (9)

• Relativized ordinal analysis: the case of power Kripke-Platek set theory
• Constructing the constructible universe constructively
• The scope of Feferman's semi-intuitionistic set theories and his second conjecture
• INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN
• Set existence property for intuitionistic theories with dependent choice
• Some properties of epistemic set theory with collection
• Ordinal Analysis of Intuitionistic Power and Exponentiation Kripke Platek Set Theory
• Approximating Beppo Levi's \textit{principio di approssimazione}
• CZF does not have the existence property

This page was built for publication: From the weak to the strong existence property

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