A classical view of the intuitionistic continuum
From MaRDI portal
Publication:1923572
DOI10.1016/0168-0072(95)00050-XzbMath0863.03030MaRDI QIDQ1923572
Publication date: 3 June 1997
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
classical analysisclassical continuumintuitionistic continuumchoice sequenceFIMclassical consistency proofformal system for second-order arithmeticfoundations of intuitionistic mathematicslawlessness
Second- and higher-order arithmetic and fragments (03F35) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)
Related Items
Randomness? What randomness? ⋮ A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES ⋮ Analyzing realizability by Troelstra's methods ⋮ Kolmogorov Complexity in Perspective Part I: Information Theory and Randomness
Cites Work
- Intuitionism. An introduction
- Constructivism in mathematics. An introduction. Volume II
- Relative lawlessness in intuitionistic analysis
- More about relatively lawless sequences
- Formalized recursive functionals and formalized realizability
- Formal systems for some branches of intuitionistic analysis
- Recursive Functions and Intuitionistic Number Theory
- On the interpretation of intuitionistic number theory
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item