Relative lawlessness in intuitionistic analysis

DOI10.2307/2273863MaRDI QIDQ3778020zbMATH OpenOpenAlexFDO

Authors Joan Rand Moschovakis

Publication date 1987

Published in Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2307/2273863

zbMATH Keywords

classical modelsconstructive continuumcontinuityintuitionistic analysisrelatively lawless sequences

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50) Intuitionistic mathematics (03F55)

Recommendations

• More about relatively lawless sequences
• Spreads or choice sequences?
• Realizing Brouwer's sequences
• A new model for intuitionistic analysis
• scientific article; zbMATH DE number 3941537

Cites work

• Formal systems for some branches of intuitionistic analysis
• scientific article; zbMATH DE number 3747104 (Why is no real title available?)
• scientific article; zbMATH DE number 3552491 (Why is no real title available?)
• scientific article; zbMATH DE number 3216177 (Why is no real title available?)

Cited in

(15)

• Intuitionism and effective descriptive set theory
• Free choice sequences: a temporal interpretation compatible with acceptance of classical mathematics
• A classical view of the intuitionistic continuum
• scientific article; zbMATH DE number 3867322 (Why is no real title available?)
• scientific article; zbMATH DE number 3871349 (Why is no real title available?)
• Unavoidable sequences in constructive analysis
• On choice sequences determined by spreads
• scientific article; zbMATH DE number 3941537 (Why is no real title available?)
• Spreads or choice sequences?
• scientific article; zbMATH DE number 510786 (Why is no real title available?)
• More about relatively lawless sequences
• Intuitionistic analysis at the end of time
• Classical and constructive hierarchies in extended intuitionistic analysis
• Iterated definability, lawless sequences, and Brouwer's continuum
• Analyzing realizability by Troelstra's methods

This page was built for publication: Relative lawlessness in intuitionistic analysis

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