Relative lawlessness in intuitionistic analysis
From MaRDI portal
Publication:3778020
DOI10.2307/2273863zbMath0637.03058OpenAlexW2132303047MaRDI QIDQ3778020
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
Related Items
A classical view of the intuitionistic continuum ⋮ Intuitionism and effective descriptive set theory ⋮ Analyzing realizability by Troelstra's methods
Cites Work