论文信息 - Über das Markov-Prinzip II - 字舞流文

Über das Markov-Prinzip II

Horst Luckhardt

[1] Georg Kreisel,et al. Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis , 1966, Journal of Symbolic Logic.

[2] H. Luckhardt. Extensional Godel functional interpretation;: A consistency proof of classical analysis , 1973 .

[3] H. Luckhardt. Extensional Gödel Functional Interpretation , 1973 .

[4] A. Troelstra. Metamathematical investigation of intuitionistic arithmetic and analysis , 1973 .

[5] A. Troelstra. Brouwer's theory of the creative subject , 1969 .

[7] A. Troelstra,et al. Formal systems for some branches of intuitionistic analysis , 1970 .

[8] Horst Von Luckhardt. Über das Markov-Prinzip , 1977, Arch. Math. Log..

[9] John Myhill,et al. NOTES TOWARDS AN AXIOMATIZATION OF INTUITIONISTIC ANALYSIS , 1966 .

[10] Horst Luckhardt. The real elements in a consistency proof for simple type theory I , 1975 .

[11] A. Troelstra. Markov's principle and Markov's rule for theores of choice sequences , 1975 .

[12] A. S. Troelstra,et al. Principles of intuitionism , 1969 .