Relative lawlessness in intuitionistic analysis

DOI10.2307/2273863zbMath0637.03058OpenAlexW2132303047MaRDI QIDQ3778020

Joan Rand Moschovakis

Publication date: 1987

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

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

zbMATH Keywords

continuityintuitionistic analysisclassical modelsconstructive continuumrelatively lawless sequences

Mathematics Subject Classification ID

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

Related Items

A classical view of the intuitionistic continuum ⋮ Intuitionism and effective descriptive set theory ⋮ Analyzing realizability by Troelstra's methods

Cites Work

• Formal systems for some branches of intuitionistic analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item