SEPARATING FRAGMENTS OF WLEM, LPO, AND MP

DOI10.1017/jsl.2016.38zbMath1402.03088OpenAlexW2186349051MaRDI QIDQ2976334

Matthew Hendtlass, Robert S. Lubarsky

Publication date: 28 April 2017

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/deb523b6078032c845d8041ee6a5383fec41191c

zbMATH Keywords

Kripke modelsnonstandard modelsMarkov's principletopological modelsweak Markov's principleomniscience principlesweak LEM

Mathematics Subject Classification ID

Constructive and recursive analysis (03F60) Nonclassical and second-order set theories (03E70) Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50) Nonstandard models in mathematics (03H05) Nonclassical models (Boolean-valued, sheaf, etc.) (03C90)

Related Items

On the uniform computational content of computability theory, Point-Free Spectra of Linear Spreads, LIFSCHITZ REALIZABILITY AS A TOPOLOGICAL CONSTRUCTION, On the necessity of some topological spaces, Bishop-Style Constructive Reverse Mathematics

Cites Work

• Unnamed Item
• Unnamed Item
• Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience
• Polynomials and linear transformations
• The lack of definable witnesses and provably recursive functions in intuitionistic set theories
• Constructivism in mathematics. An introduction. Volume I
• Set theoretic foundations for constructive analysis
• Markov's principle, Church's thesis and Lindelöf's theorem
• Realizing Brouwer's sequences
• Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory
• Measure theory and weak König's lemma
• Constructively Complete Finite Sets
• A Topological Model for Intuitionistic Analysis with Kripke's Scheme
• An interpretation of intuitionistic analysis
• On Weak Markov's Principle
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics