Recommendations
- scientific article; zbMATH DE number 3841848
- Inaccessibility in constructive set theory and type theory
- Replacement and collection in intuitionistic set theory
- Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets
- scientific article; zbMATH DE number 1873429
Cites work
- scientific article; zbMATH DE number 3427308 (Why is no real title available?)
- scientific article; zbMATH DE number 3668598 (Why is no real title available?)
- scientific article; zbMATH DE number 3724439 (Why is no real title available?)
- scientific article; zbMATH DE number 3614784 (Why is no real title available?)
- Church's thesis, continuity, and set theory
- Goodman's theorem and beyond
- The consistency of classical set theory relative to a set theory with intu1tionistic logic
Cited in
(9)- scientific article; zbMATH DE number 3871700 (Why is no real title available?)
- Arithmetic transfinite induction and recursive well-orderings
- EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY
- The lack of definable witnesses and provably recursive functions in intuitionistic set theories
- scientific article; zbMATH DE number 125222 (Why is no real title available?)
- scientific article; zbMATH DE number 3841848 (Why is no real title available?)
- Certain partial conservativeness properties of intuitionistic set theory with the principle of double complement of sets
- A Large \Prod 1 2 Set, Absolute for Set Forcings
- NON-CLASSICAL FOUNDATIONS OF SET THEORY
This page was built for publication: Large sets in intuitionistic set theory
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q796524)
