Markov's rule revisited

DOI10.1007/BF01634982MaRDI QIDQ2277259zbMATH OpenFDO

Authors Daniel M. Leivant

Publication date 1990

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BF01634982

zbMATH Keywords

Heyting Arithmetic extended with transfinite induction over all recursive well-orderingsintuitionistic theoriesMarkov's PrincipleMarkov's Rule

Mathematics Subject Classification ID

First-order arithmetic and fragments (03F30) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55) Other constructive mathematics (03F65)

Review text

Heyting Arithmetic extended with transfinite induction over all recursive well-orderings \((HA^*)\) is considered. It is shown that Markov's Principle is unprovable in \(HA^*\). On the other hand \(HA^*\) is proved to be closed under Markov's Rule (MR). This yields a new proof of the closure of a number of intuitionistic theories under MR.

Recommendations

• scientific article; zbMATH DE number 5364051
• scientific article; zbMATH DE number 1088199
• The independence of Markov's principle in type theory
• On a weakening of Markov's Principle
• scientific article; zbMATH DE number 4055607

Cites work

• Constructivism in mathematics. An introduction. Volume II
• scientific article; zbMATH DE number 3095470 (Why is no real title available?)
• Metamathematical investigation of intuitionistic arithmetic and analysis. With contributions by C. A. Smorynski, J. I. Zucker and W. A. Howard

Cited in

(8)

• scientific article; zbMATH DE number 4055607 (Why is no real title available?)
• scientific article; zbMATH DE number 1088199 (Why is no real title available?)
• The independence of Markov's principle in type theory
• The independence of Markov's principle in type theory
• scientific article; zbMATH DE number 4183402 (Why is no real title available?)
• Arithmetic complexity of the predicate logics of certain complete arithmetic theories
• Propositional logics of closed and open substitutions over Heyting's arithmetic
• Some principles weaker than Markov's principle

This page was built for publication: Markov's rule revisited

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2277259)