The scope of Feferman's semi-intuitionistic set theories and his second conjecture (Q1740613): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.indag.2019.01.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2908793148
@@ Property / OpenAlex ID: W2908793148 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4075450
@@ Property / cites work: Q4075450 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3998431
@@ Property / cites work: Q3998431 / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematics and Bleak House
@@ Property / cites work: Mathematics and Bleak House / rank @@
+Normal rank
@@ Property / cites work @@
+THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS
@@ Property / cites work: THE INDEPENDENCE OF THE CONTINUUM HYPOTHESIS / rank @@
+Normal rank
@@ Property / cites work @@
+Axiom of Choice and Complementation
@@ Property / cites work: Axiom of Choice and Complementation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4981447
@@ Property / cites work: Q4981447 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3215216
@@ Property / cites work: Q3215216 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3214890
@@ Property / cites work: Q3214890 / rank @@
+Normal rank
@@ Property / cites work @@
+Slow consistency
@@ Property / cites work: Slow consistency / rank @@
+Normal rank
@@ Property / cites work @@
+Consistency of the Continuum Hypothesis. (AM-3)
@@ Property / cites work: Consistency of the Continuum Hypothesis. (AM-3) / rank @@
+Normal rank
@@ Property / cites work @@
+What is Cantor's Continuum Problem?
@@ Property / cites work: What is Cantor's Continuum Problem? / rank @@
+Normal rank
@@ Property / cites work @@
+Q4023115
@@ Property / cites work: Q4023115 / rank @@
+Normal rank
@@ Property / cites work @@
+THE SET-THEORETIC MULTIVERSE
@@ Property / cites work: THE SET-THEORETIC MULTIVERSE / rank @@
+Normal rank
@@ Property / cites work @@
+Set Theory
@@ Property / cites work: Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Feferman on Set Theory: Infinity up on Trial
@@ Property / cites work: Feferman on Set Theory: Infinity up on Trial / rank @@
+Normal rank
@@ Property / cites work @@
+Measurable cardinals and the continuum hypothesis
@@ Property / cites work: Measurable cardinals and the continuum hypothesis / rank @@
+Normal rank
@@ Property / cites work @@
+The strength of Mac Lane set theory
@@ Property / cites work: The strength of Mac Lane set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Power set recursion
@@ Property / cites work: Power set recursion / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive set theory
@@ Property / cites work: Constructive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q4161289
@@ Property / cites work: Q4161289 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5628079
@@ Property / cites work: Q5628079 / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-intuitionistic set theory
@@ Property / cites work: Semi-intuitionistic set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Constructive Zermelo-Fraenkel Set Theory, Power Set, and the Calculus of Constructions
+Normal rank
@@ Property / cites work @@
+From the weak to the strong existence property
@@ Property / cites work: From the weak to the strong existence property / rank @@
+Normal rank
@@ Property / cites work @@
+Relativized ordinal analysis: the case of power Kripke-Platek set theory
+Normal rank
@@ Property / cites work @@
+INDEFINITENESS IN SEMI-INTUITIONISTIC SET THEORIES: ON A CONJECTURE OF FEFERMAN
+Normal rank
@@ Property / cites work @@
+An indeterminate universe of sets
@@ Property / cites work: An indeterminate universe of sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+A quasi-intumonistic set theory
@@ Property / cites work: A quasi-intumonistic set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Über Endlich‐Axiomatisierbare Teilsysteme der Zermelo‐Fraenkelschen Mengenlehre
+Normal rank
@@ Property / cites work @@
+Q4530611
@@ Property / cites work: Q4530611 / rank @@
+Normal rank
@@ Property / cites work @@
+The axiom of determinacy, forcing axioms, and the nonstationary ideal
+Normal rank
@@ Property / cites work @@
+Q2756771
@@ Property / cites work: Q2756771 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2756776
@@ Property / cites work: Q2756776 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5748195
@@ Property / cites work: Q5748195 / rank @@
+Normal rank