Large sets in intuitionistic set theory
From MaRDI portal
Publication:796524
DOI10.1016/0168-0072(84)90033-2zbMath0544.03031MaRDI QIDQ796524
Harvey M. Friedman, Andrej Scedrov
Publication date: 1984
Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0168-0072(84)90033-2
forcing; intuitionistic set theory; dependent choice; recursive realizability; provably recursive functions; large cardinal properties; negative interpretation
03F50: Metamathematics of constructive systems
Related Items
NON-CLASSICAL FOUNDATIONS OF SET THEORY, EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY, The lack of definable witnesses and provably recursive functions in intuitionistic set theories, Arithmetic transfinite induction and recursive well-orderings
Cites Work