- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Some principles weaker than Markov’s principle
Archive for Mathematical Logic 54 (7-8):861-870 (2015)
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.Other Versions
No versions found
My notes
Similar books and articles
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.
Undecidability and intuitionistic incompleteness.D. C. McCarty - 1996 - Journal of Philosophical Logic 25 (5):559 - 565.
A Note on Choice Principles in Second-Order Logic.Benjamin Siskind, Paolo Mancosu & Stewart Shapiro - 2023 - Review of Symbolic Logic 16 (2):339-350.
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
41 (#527,608)
6 months
5 (#1,002,523)
2016-02-04
Downloads
41 (#527,608)
6 months
5 (#1,002,523)
Historical graph of downloads
Citations of this work
Interrelation between weak fragments of double negation shift and related principles.Makoto Fujiwara & Ulrich Kohlenbach - 2018 - Journal of Symbolic Logic 83 (3):991-1012.
Refining the arithmetical hierarchy of classical principles.Makoto Fujiwara & Taishi Kurahashi - 2022 - Mathematical Logic Quarterly 68 (3):318-345.
A note on the independence of premiss rule.Hajime Ishihara & Takako Nemoto - 2016 - Mathematical Logic Quarterly 62 (1-2):72-76.
$$\Delta ^0_1$$ variants of the law of excluded middle and related principles.Makoto Fujiwara - 2022 - Archive for Mathematical Logic 61 (7):1113-1127.
Δ10\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$\Delta ^0_1$$\end{document} variants of the law of excluded middle and related principles. [REVIEW]Makoto Fujiwara - 2022 - Archive for Mathematical Logic 61 (7-8):1113-1127.
References found in this work
Metamathematical investigation of intuitionistic arithmetic and analysis.Anne S. Troelstra - 1973 - New York,: Springer.
Constructively Complete Finite Sets.Mark Mandelkern - 1988 - Mathematical Logic Quarterly 34 (2):97-103.
Constructively Complete Finite Sets.Mark Mandelkern - 1988 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 34 (2):97-103.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-667477cd97-2pm92 dc2