Markov's rule revisited

DOI10.1007/BF01634982zbMath0725.03042MaRDI QIDQ2277259

Daniel 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) Other constructive mathematics (03F65) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Cites Work

• 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
• Unnamed Item