Some principles weaker than Markov’s principle

, &
Archive for Mathematical Logic 54 (7-8):861-870 (2015)
  Copy   BIBTEX

Abstract

We systematically study several principles and give a principle which is weaker than disjunctive Markov’s principle. We also show that the principle is underivable and strictly weaker than MP∨ in certain extensions of the system EL of elementary analysis.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/s00153-015-0444-9

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 104,706

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Bigger, Badder Bugs.Benjamin A. Levinstein & Jack Spencer - 2025 - Mind 134 (533):134-170.
On Weak Markov's Principle.Ulrich Kohlenbach - 2002 - Mathematical Logic Quarterly 48 (S1):59-65.
Markov's Rule revisited.Daniel Leivant - 1990 - Archive for Mathematical Logic 30 (2):125-127.
On Theorems of Gödel and Kreisel: Completeness and Markov's Principle.D. C. McCarty - 1994 - Notre Dame Journal of Formal Logic 35 (1):99-107.
On a weakening of Markov's Principle.A. Ščedrov & R. Vesley - 1983 - Archive for Mathematical Logic 23 (1):153-160.
Some intuitionistic equivalents of classical principles for degree 2 formulas.Stefano Berardi - 2006 - Annals of Pure and Applied Logic 139 (1):185-200.
Gödel's Third Incompleteness Theorem.Timothy McCarthy - 2016 - Dialectica 70 (1):87-112.
A Note on Choice Principles in Second-Order Logic.Benjamin Siskind, Paolo Mancosu & Stewart Shapiro - 2023 - Review of Symbolic Logic 16 (2):339-350.
Undecidability and intuitionistic incompleteness.D. C. McCarty - 1996 - Journal of Philosophical Logic 25 (5):559 - 565.
Closed fragments of provability logics of constructive theories.Albert Visser - 2008 - Journal of Symbolic Logic 73 (3):1081-1096.

Analytics

Added to PP
2016-02-04

Downloads
44 (#560,142)

6 months
4 (#1,015,396)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

A note on the independence of premiss rule.Hajime Ishihara & Takako Nemoto - 2016 - Mathematical Logic Quarterly 62 (1-2):72-76.
Δ10\Delta ^0_1 variants of the law of excluded middle and related principles.Makoto Fujiwara - 2022 - Archive for Mathematical Logic 61 (7):1113-1127.

Add more citations

References found in this work

On the Disjunctive Markov Principle.Ulrich Kohlenbach - 2015 - Studia Logica 103 (6):1313-1317.
Constructively Complete Finite Sets.Mark Mandelkern - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (2):97-103.
Constructively Complete Finite Sets.Mark Mandelkern - 1988 - Mathematical Logic Quarterly 34 (2):97-103.

Add more references