Separating fragments of WLEM, LPO, and MP

DOI10.1017/JSL.2016.38MaRDI QIDQ2976334zbMATH OpenOpenAlexFDO

Authors Matthew Hendtlass, Robert S. Lubarsky

Publication date 28 April 2017

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

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

zbMATH Keywords

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

Mathematics Subject Classification ID

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

Recommendations

• On Weak Markov's Principle
• On constructive fragments of classical logic
• On a weakening of Markov's Principle
• Generalizations of the weak law of the excluded middle

Cites work

• scientific article; zbMATH DE number 3291139 (Why is no real title available?)
• A Topological Model for Intuitionistic Analysis with Kripke's Scheme
• An interpretation of intuitionistic analysis
• Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
• Constructive Zermelo-Fraenkel set theory and the limited principle of omniscience
• Constructively Complete Finite Sets
• Constructivism in mathematics. An introduction. Volume I
• Lifschitz realizability for intuitionistic Zermelo-Fraenkel set theory
• Markov's principle, Church's thesis and Lindelöf's theorem
• Measure theory and weak König's lemma
• On Weak Markov's Principle
• Polynomials and linear transformations
• Realizing Brouwer's sequences
• Set theoretic foundations for constructive analysis
• Subsystems of second order arithmetic
• The lack of definable witnesses and provably recursive functions in intuitionistic set theories

Cited in

(8)

• On constructive fragments of classical logic
• Bishop-Style Constructive Reverse Mathematics
• On Weak Markov's Principle
• On the uniform computational content of computability theory
• Point-Free Spectra of Linear Spreads
• On the necessity of some topological spaces
• Lifschitz realizability as a topological construction
• Interrelation between weak fragments of double negation shift and related principles

This page was built for publication: Separating fragments of WLEM, LPO, and MP

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