Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory

DOI10.1007/S00153-012-0299-2MaRDI QIDQ1938396zbMATH OpenOpenAlexWikidataFDO

Authors 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 thesiscountable axiom of choiceintuitionistic set theorylesser limited principle of omniscienceLifschitz realizability

Mathematics Subject Classification ID

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

Recommendations

• Lifschitz realizability as a topological construction
• Lifschitz' realizability
• Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman
• Two remarks on the Lifschitz realizability topos
• Independence of the uniformity principle from Church's thesis in intuitionistic set theory

Cites work

• An omniscience principle, the König Lemma and the Hahn‐Banach theorem
• Constructivism in mathematics. An introduction. Volume II
• CT 0 is Stronger than CT 0 !
• Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman
• Formal systems for some branches of intuitionistic analysis
• scientific article; zbMATH DE number 3427308 (Why is no real title available?)
• scientific article; zbMATH DE number 3427309 (Why is no real title available?)
• scientific article; zbMATH DE number 3889526 (Why is no real title available?)
• scientific article; zbMATH DE number 3668598 (Why is no real title available?)
• scientific article; zbMATH DE number 3706447 (Why is no real title available?)
• scientific article; zbMATH DE number 3754682 (Why is no real title available?)
• scientific article; zbMATH DE number 192927 (Why is no real title available?)
• scientific article; zbMATH DE number 1136111 (Why is no real title available?)
• scientific article; zbMATH DE number 3216177 (Why is no real title available?)
• Injectivity, Projectivity, and the Axiom of Choice
• Lifschitz' realizability
• Metamathematical properties of intuitionistic set theories with choice principles
• On the interpretation of intuitionistic number theory
• Realizability and recursive set theory
• Realizability for constructive Zermelo-Fraenkel set theory
• Set theoretic foundations for constructive analysis
• The disjunction and related properties for constructive Zermelo-Fraenkel set theory

Cited in

(17)

• Absolute L-realizability and intuitionistic logic
• Realisability for infinitary intuitionistic set theory
• Separating fragments of WLEM, LPO, and MP
• Indefiniteness in semi-intuitionistic set theories: on a conjecture of Feferman
• Lifschitz' realizability
• scientific article; zbMATH DE number 5722458 (Why is no real title available?)
• Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience
• Extension of Lifschitz' realizability to higher order arithmetic, and a solution to a problem of F. Richman
• From the weak to the strong existence property
• Implementing fragments of ZFC within an r.e. Universe
• scientific article; zbMATH DE number 749939 (Why is no real title available?)
• Two remarks on the Lifschitz realizability topos
• Preservation of choice principles under realizability
• Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
• Extensional realizability for intuitionistic set theory
• Lifschitz realizability as a topological construction
• Conservativity of type theory over higher-order arithmetic

This page was built for publication: Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory

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