Über das Markov-Prinzip II
- 1 December 1977
- journal article
- Published by Springer Nature in Archive for Mathematical Logic
- Vol. 18 (1) , 147-157
- https://doi.org/10.1007/bf02007267
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Über das Markov-PrinzipArchive for Mathematical Logic, 1977
- Markov's principle and Markov's rule for theores of choice sequencesPublished by Springer Nature ,1975
- The real elements in a consistency proof for simple type theory IPublished by Springer Nature ,1975
- Metamathematical Investigation of Intuitionistic Arithmetic and AnalysisPublished by Springer Nature ,1973
- An addendumAnnals of Mathematical Logic, 1971
- Formal systems for some branches of intuitionistic analysisAnnals of Mathematical Logic, 1970
- Modelle Modaler MengenlehrenMathematical Logic Quarterly, 1970
- Formalized recursive functionals and formalized realizabilityMemoirs of the American Mathematical Society, 1969
- Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysisThe Journal of Symbolic Logic, 1966
- The Invalidity of Markoff's SchemaMathematical Logic Quarterly, 1963