PFA implies ADL(ℝ) (Q5486251): Difference between revisions

@@ Property / DOI @@
-.2178/jsl/1129642125
@@ Property / DOI: 10.2178/jsl/1129642125 / rank @@
-Normal rank
@@ Property / Wikidata QID @@
+Q30040097
@@ Property / Wikidata QID: Q30040097 / rank @@
+Normal rank
@@ Property / cites work @@
+Weak covering without countable closure
@@ Property / cites work: Weak covering without countable closure / rank @@
+Normal rank
@@ Property / cites work @@
+Q4291791
@@ Property / cites work: Q4291791 / rank @@
+Normal rank
@@ Property / cites work @@
+The domestic levels of \(K^c\) are iterable
@@ Property / cites work: The domestic levels of \(K^c\) are iterable / rank @@
+Normal rank
@@ Property / cites work @@
+The axiom of determinacy, forcing axioms, and the nonstationary ideal
+Normal rank
@@ Property / cites work @@
+Q5690487
@@ Property / cites work: Q5690487 / rank @@
+Normal rank
@@ Property / cites work @@
+Projectively well-ordered inner models
@@ Property / cites work: Projectively well-ordered inner models / rank @@
+Normal rank
@@ Property / cites work @@
+Inner models with many Woodin cardinals
@@ Property / cites work: Inner models with many Woodin cardinals / rank @@
+Normal rank
@@ Property / cites work @@
+Cabal Seminar 79-81. Proceedings, Caltech-UCLA Logic Seminar 1979-81
+Normal rank
@@ Property / cites work @@
+The maximality of the core model
@@ Property / cites work: The maximality of the core model / rank @@
+Normal rank
@@ Property / cites work @@
+A new condensation principle
@@ Property / cites work: A new condensation principle / rank @@
+Normal rank
@@ Property / DOI @@
+.2178/JSL/1129642125
@@ Property / DOI: 10.2178/JSL/1129642125 / rank @@
+Normal rank

PFA implies AD<sup><i>L</i>(ℝ)</sup> (Q5486251): Difference between revisions

Latest revision as of 17:05, 30 December 2024

Statements

Identifiers

Sitelinks

Mathematics(1 entry)