The scope of Feferman's semi-intuitionistic set theories and his second conjecture
From MaRDI portal
Publication:1740613
DOI10.1016/j.indag.2019.01.004OpenAlexW2908793148WikidataQ61821053 ScholiaQ61821053MaRDI QIDQ1740613
Publication date: 2 May 2019
Published in: Indagationes Mathematicae. New Series (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.indag.2019.01.004
absolutenesslaw of excluded middleindefiniteness\(\varDelta_1\) propertysemi-intuitionistic set theory
Related Items (2)
PREDICATIVISM AS A FORM OF POTENTIALISM ⋮ Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
Cites Work
- Relativized ordinal analysis: the case of power Kripke-Platek set theory
- From the weak to the strong existence property
- The axiom of determinacy, forcing axioms, and the nonstationary ideal
- Power set recursion
- Measurable cardinals and the continuum hypothesis
- Slow consistency
- An indeterminate universe of sets
- THE SET-THEORETIC MULTIVERSE
- INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN
- Constructive set theory
- Axiom of Choice and Complementation
- Mathematics and Bleak House
- Set Theory
- Feferman on Set Theory: Infinity up on Trial
- Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
- Über Endlich‐Axiomatisierbare Teilsysteme der Zermelo‐Fraenkelschen Mengenlehre
- THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
- A quasi-intumonistic set theory
- What is Cantor's Continuum Problem?
- Consistency of the Continuum Hypothesis. (AM-3)
- Semi-intuitionistic set theory
- The strength of Mac Lane set theory
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: The scope of Feferman's semi-intuitionistic set theories and his second conjecture
