Intuitionistic analysis at the end of time

DOI10.1017/BSL.2017.25MaRDI QIDQ4602433zbMATH OpenOpenAlexFDO

Authors Joan Rand Moschovakis

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

zbMATH Keywords

classical analysisconsistency proofcountable choiceintuitionistic analysisnegative interpretationomega-modelreadability

Mathematics Subject Classification ID

Relative consistency and interpretations (03F25) Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Recommendations

• Unavoidable sequences in constructive analysis
• A new model for intuitionistic analysis
• scientific article; zbMATH DE number 749939
• Relative lawlessness in intuitionistic analysis
• On a weakening of Markov's Principle

Cites work

• Can there be no nonrecursive functions?
• Constructive assertions in an extension of classical mathematics
• Constructivism in mathematics. An introduction. Volume I
• Formalized recursive functionals and formalized realizability
• scientific article; zbMATH DE number 3552491 (Why is no real title available?)
• scientific article; zbMATH DE number 3216177 (Why is no real title available?)
• scientific article; zbMATH DE number 3317729 (Why is no real title available?)
• scientific article; zbMATH DE number 3073037 (Why is no real title available?)
• Relative and modified relative realizability

Cited in

(8)

• Glueing of analysis models in an intuitionistic setting
• An interpretation of intuitionistic analysis with restricted transfinite inductive definitions
• Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics
• Unavoidable sequences in constructive analysis
• Classical and constructive hierarchies in extended intuitionistic analysis
• scientific article; zbMATH DE number 6320249 (Why is no real title available?)
• A CLASSICAL MODAL THEORY OF LAWLESS SEQUENCES
• Open bar -- a Brouwerian intuitionistic logic with a pinch of excluded middle

This page was built for publication: Intuitionistic analysis at the end of time

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4602433)