- 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.My notes
Similar books and articles
The Principle of the Common Cause, the Causal Markov Condition, and Quantum Mechanics: Comments on Cartwright.Iain Martel - 2008 - In Luc Bovens, Carl Hoefer & Stephan Hartmann (eds.), Nancy Cartwright’s Philosophy of Science. Routledge. pp. 242-262.
Provability in principle and controversial constructivistic principles.Leon Horsten - 1997 - Journal of Philosophical Logic 26 (6):635-660.
Complements of Intersections in Constructive Mathematics.Douglas S. Bridges & Hajime Ishihara - 1994 - Mathematical Logic Quarterly 40 (1):35-43.
Some intuitionistic equivalents of classical principles for degree 2 formulas.Stefano Berardi - 2006 - Annals of Pure and Applied Logic 139 (1):185-200.
A uniformly consistent estimator of causal effects under the k-Triangle-Faithfulness assumption.Peter Spirtes & Jiji Zhang - unknown
Continuity and nondiscontinuity in constructive mathematics.Hajime Ishihara - 1991 - Journal of Symbolic Logic 56 (4):1349-1354.
In Search of a Pointless Decision Principle.Prasanta S. Bandyopadhayay - 1994 - PSA: Proceedings of the Biennial Meeting of the Philosophy of Science Association 1994:260 - 269.
Addressing the Conflict Between Relativity and Quantum Theory: Models, Measurement and the Markov Property.Gareth Ernest Boardman - 2013 - Cosmos and History 9 (2):86-115.
Comment on Hausman & Woodward on the causal Markov condition.Daniel Steel - 2006 - British Journal for the Philosophy of Science 57 (1):219-231.
Bounded Modified Realizability.Fernando Ferreira & Ana Nunes - 2006 - Journal of Symbolic Logic 71 (1):329 - 346.
Practial reasoning, decision theory and anti-intellectualism.Jessica Brown - 2012 - Episteme 9 (1):1-20.
Analytics
Added to PP
2016-02-04
Downloads
21 (#734,423)
6 months
7 (#421,763)
2016-02-04
Downloads
21 (#734,423)
6 months
7 (#421,763)
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-64dd777598-cl5t5 uwo