Über das Markov-Prinzip II
From MaRDI portal
Publication:4159056
DOI10.1007/BF02007267zbMath0381.03045OpenAlexW2089939267MaRDI QIDQ4159056
Publication date: 1977
Published in: Archiv für Mathematische Logik und Grundlagenforschung (Search for Journal in Brave)
Full work available at URL: https://eudml.org/doc/137937
Related Items
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Principles of intuitionism. Lectures presented at the summer conference on intuitionism and proof theory (1968) at SUNY at Buffalo, NY
- Extensional Gödel functional interpretation. A consistency proof of classical analysis
- Über das Markov-Prinzip
- Transfinite induction and bar induction of types zero and one, and the role of continuity in intuitionistic analysis
- Formalized recursive functionals and formalized realizability
- Formal systems for some branches of intuitionistic analysis
- Modelle Modaler Mengenlehren
- An addendum
- The Invalidity of Markoff's Schema