On the Disjunctive Markov Principle

Studia Logica 103 (6):1313-1317 (2015)
  Copy   BIBTEX

Abstract

In this note we show that over a strong intuitionistic base theory, the recursive comprehension principle \ -CA does not imply the disjunctive Markov principle MP\

Categories

Keywords

Reprint years

DOI

10.1007/s11225-015-9627-y

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,130

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

A marriage of Brouwer’s intuitionism and Hilbert’s finitism I: Arithmetic.Takako Nemoto & Sato Kentaro - 2022 - Journal of Symbolic Logic 87 (2):437-497.
The Markov blankets of life: autonomy, active inference and the free energy principle.Michael David Kirchhoff - 2018 - Journal of the Royal Society Interface 15 (138).
Some principles weaker than Markov’s principle.Makoto Fujiwara, Hajime Ishihara & Takako Nemoto - 2015 - Archive for Mathematical Logic 54 (7-8):861-870.
Extended Predictive Minds: do Markov Blankets Matter?Marco Facchin - 2021 - Review of Philosophy and Psychology (3):1-30.
Pilot-Wave Quantum Theory in Discrete Space and Time and the Principle of Least Action.Janusz Gluza & Jerzy Kosek - 2016 - Foundations of Physics 46 (11):1502-1521.
The Principle of Common Cause and its Advantages and Limitations in Screening the Correlated Events off.Varghese Joby - 2017 - Balkan Journal of Philosophy 9 (1):71-78.
The Principle of Excluded Middle in Kant.Esma Kayar - 2021 - Rivista di Storia Della Filosofia 1:124-141.
Nonstandard arithmetic and recursive comprehension.H. Keisler - 2010 - Annals of Pure and Applied Logic 161 (8):1047-1062.
Nonstandard arithmetic and recursive comprehension.H. Jerome Keisler - 2010 - Annals of Pure and Applied Logic 161 (8):1047-1062.
On uniform weak König's lemma.Ulrich Kohlenbach - 2002 - Annals of Pure and Applied Logic 114 (1-3):103-116.

Analytics

Added to PP
2015-08-20

Downloads
20 (#1,035,722)

6 months
4 (#1,246,434)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Some principles weaker than Markov’s principle.Makoto Fujiwara, Hajime Ishihara & Takako Nemoto - 2015 - Archive for Mathematical Logic 54 (7-8):861-870.
$$\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

No references found.

Add more references