Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory

DOI10.1007/s00153-012-0299-2zbMath1270.03127OpenAlexW2048994267WikidataQ59902290 ScholiaQ59902290MaRDI QIDQ1938396

Ray-Ming Chen, Michael Rathjen

Publication date: 4 February 2013

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-012-0299-2

zbMATH Keywords

Church's thesisintuitionistic set theorycountable axiom of choicelesser limited principle of omniscienceLifschitz realizability

Mathematics Subject Classification ID

Nonclassical and second-order set theories (03E70) Second- and higher-order arithmetic and fragments (03F35) Intuitionistic mathematics (03F55) Relative consistency and interpretations (03F25)

Related Items

INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN, Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience, SEPARATING FRAGMENTS OF WLEM, LPO, AND MP, From the weak to the strong existence property, Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions, LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Realizability and recursive set theory
• Constructivism in mathematics. An introduction. Volume II
• Set theoretic foundations for constructive analysis
• Lifschitz' realizability
• Injectivity, Projectivity, and the Axiom of Choice
• Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman
• CT 0 is Stronger than CT 0 !
• An omniscience principle, the König Lemma and the Hahn‐Banach theorem
• The disjunction and related properties for constructive Zermelo-Fraenkel set theory
• Formal systems for some branches of intuitionistic analysis
• On the interpretation of intuitionistic number theory