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)

zbMATH Keywords

intuitionistic theoriesMarkov's PrincipleHeyting Arithmetic extended with transfinite induction over all recursive well-orderingsMarkov's Rule

Mathematics Subject Classification ID

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

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

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

Cited in

(7)

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

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)