Large sets in intuitionistic set theory

DOI10.1016/0168-0072(84)90033-2zbMath0544.03031OpenAlexW2032170840MaRDI 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

zbMATH Keywords

forcingintuitionistic set theorydependent choicerecursive realizabilityprovably recursive functionslarge cardinal propertiesnegative interpretation

Mathematics Subject Classification ID

Metamathematics of constructive systems (03F50)

Related Items (4)

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

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Goodman's theorem and beyond
• Church's thesis, continuity, and set theory
• The consistency of classical set theory relative to a set theory with intu1tionistic logic

This page was built for publication: Large sets in intuitionistic set theory