INTUITIONISTIC ANALYSIS AT THE END OF TIME
From MaRDI portal
Publication:4602433
DOI10.1017/BSL.2017.25zbMath1436.03312OpenAlexW2774125772MaRDI QIDQ4602433
Publication date: 11 January 2018
Published in: The Bulletin of Symbolic Logic (Search for Journal in Brave)
Full work available at URL: https://semanticscholar.org/paper/61bf3bb90136cbcea81d903d4a4bc801f1e90036
countable choiceintuitionistic analysisreadabilityclassical analysisnegative interpretationconsistency proofomega-model
Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55) Relative consistency and interpretations (03F25)
Related Items (2)
A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES ⋮ Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Constructivism in mathematics. An introduction. Volume I
- Relative and modified relative realizability
- Constructive assertions in an extension of classical mathematics
- Formalized recursive functionals and formalized realizability
- Can there be no nonrecursive functions?
This page was built for publication: INTUITIONISTIC ANALYSIS AT THE END OF TIME