Markov's Rule revisited

Archive for Mathematical Logic 30 (2):125-127 (1990)
  Copy   BIBTEX

Abstract

We consider HA*, that is Heyting's Arithmetic extended with transfinite induction over all recursive well orderings, which may be viewed as defining constructive truth, since PA* agrees with classical truth. We prove that Markov's Principle, as a schema, is not provable in HA*, but that HA* is closed under Markov's Rule.

Categories

Add categories

Keywords

Reprint years

DOI

10.1007/bf01634982

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,423

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

Modularity and the causal Markov condition: A restatement.Daniel M. Hausman & James Woodward - 2004 - British Journal for the Philosophy of Science 55 (1):147-161.
Against modularity, the causal Markov condition, and any link between the two: Comments on Hausman and Woodward.Nancy Cartwright - 2002 - British Journal for the Philosophy of Science 53 (3):411-453.
Independence, invariance and the causal Markov condition.Daniel M. Hausman & James Woodward - 1999 - British Journal for the Philosophy of Science 50 (4):521-583.
Indeterminism and the causal Markov condition.Daniel Steel - 2005 - British Journal for the Philosophy of Science 56 (1):3-26.
A Transformational Characterization of Markov Equivalence for Directed Maximal Ancestral Graphs.Jiji Zhang & Peter Spirtes - unknown
Transition Effect Matrices and Quantum Markov Chains.Stan Gudder - 2009 - Foundations of Physics 39 (6):573-592.
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.
Markov interactions in a class of dynamic games.Charles Figuières - 2009 - Theory and Decision 66 (1):39-68.
On the nature of Sommers' rule.George Englebretsen - 1971 - Mind 80 (320):608-611.
Limit theorems for Dempster's rule of combination.John Norton - 1988 - Theory and Decision 25 (3):287-313.
A PC-Style Markov Blanket for High Dimensional Datasets.Joe Ramsey - unknown
Rule-Following Revisited.Warren G. Oldfarb - 2012 - In J. Ellis & D. Guevara (eds.), Wittgenstein and the Philosophy of Mind. Oxford University Press.
On Weak Markov's Principle.Ulrich Kohlenbach - 2002 - Mathematical Logic Quarterly 48 (S1):59-65.
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.

Analytics

Added to PP
2013-12-01

Downloads
21 (#720,615)

6 months
8 (#347,798)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Daniel M. Leivant
Indiana University, Bloomington

Citations of this work

Add more citations

References found in this work

Proof theory and constructive mathematics.Anne S. Troelstra - 1977 - In Jon Barwise & H. Jerome Keisler (eds.), Handbook of Mathematical Logic. North-Holland Pub. Co.. pp. 973--1052.
On the Consistency of Certain Logical Calculus.P. S. Novikoff - 1946 - Journal of Symbolic Logic 11 (4):129-131.

Add more references