Large sets in intuitionistic set theory
From MaRDI portal
Publication:796524
DOI10.1016/0168-0072(84)90033-2zbMATH Open0544.03031OpenAlexW2032170840MaRDI QIDQ796524FDOQ796524
Authors: Harvey M. Friedman, Andre 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
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
forcingintuitionistic set theorydependent choicerecursive realizabilityprovably recursive functionslarge cardinal propertiesnegative interpretation
Cites Work
Cited In (9)
- The lack of definable witnesses and provably recursive functions in intuitionistic set theories
- 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
- EXTENSIONAL REALIZABILITY AND CHOICE FOR DEPENDENT TYPES IN INTUITIONISTIC SET THEORY
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Arithmetic transfinite induction and recursive well-orderings
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)
