Separating fragments of WLEM, LPO, and MP

DOI10.1017/JSL.2016.38zbMATH Open1402.03088OpenAlexW2186349051MaRDI QIDQ2976334FDOQ2976334

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

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
• Separating the fan theorem and its weakenings

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)

Cites Work

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

Cited In (8)

• On the necessity of some topological spaces
• On Weak Markov's Principle
• Lifschitz realizability as a topological construction
• Point-Free Spectra of Linear Spreads
• Bishop-Style Constructive Reverse Mathematics
• On constructive fragments of classical logic
• On the uniform computational content of computability theory
• 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)