Markov's principle and Markov's rule for theores of choice sequences
- 1 January 1975
- book chapter
- Published by Springer Nature
- p. 370-383
- https://doi.org/10.1007/bfb0079563
Abstract
No abstract availableThis publication has 7 references indexed in Scilit:
- Lectures on intuitionismPublished by Springer Nature ,1973
- Extensional Gödel Functional InterpretationLecture Notes in Mathematics, 1973
- An addendumAnnals of Mathematical Logic, 1971
- A Survey of Proof Theory IIPublished by Elsevier ,1971
- Notes on the intuitionistic theory of sequences (III)Indagationes Mathematicae, 1970
- Formal systems for some branches of intuitionistic analysisAnnals of Mathematical Logic, 1970
- Formalized recursive functionals and formalized realizabilityMemoirs of the American Mathematical Society, 1969