Inner mantles and iterated HOD (Q5108877): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2994785215
@@ Property / OpenAlex ID: W2994785215 / rank @@
+Normal rank
@@ Property / cites work @@
+Set-theoretic geology
@@ Property / cites work: Set-theoretic geology / rank @@
+Normal rank
@@ Property / cites work @@
+Classes and truths in set theory
@@ Property / cites work: Classes and truths in set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Open determinacy for class games
@@ Property / cites work: Open determinacy for class games / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Iteration of Forcing
@@ Property / cites work: Generalized Iteration of Forcing / rank @@
+Normal rank
@@ Property / cites work @@
+The ground axiom is consistent with V $\neq $ HOD
@@ Property / cites work: The ground axiom is consistent with V $\neq $ HOD / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of pretameness and the Ord-cc
@@ Property / cites work: Characterizations of pretameness and the Ord-cc / rank @@
+Normal rank
@@ Property / cites work @@
+Forcing with trees and ordinal definability
@@ Property / cites work: Forcing with trees and ordinal definability / rank @@
+Normal rank
@@ Property / cites work @@
+Set Theory
@@ Property / cites work: Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+On non-wellfounded iterations of the perfect set forcing
+Normal rank
@@ Property / cites work @@
+Saccharinity
@@ Property / cites work: Saccharinity / rank @@
+Normal rank
@@ Property / cites work @@
+Certain very large cardinals are not created in small forcing extensions
+Normal rank
@@ Property / cites work @@
+Consistency results about ordinal definability
@@ Property / cites work: Consistency results about ordinal definability / rank @@
+Normal rank
@@ Property / cites work @@
+The ground axiom
@@ Property / cites work: The ground axiom / rank @@
+Normal rank
@@ Property / cites work @@
+Cohen forcing and inner models
@@ Property / cites work: Cohen forcing and inner models / rank @@
+Normal rank
@@ Property / cites work @@
+The downward directed grounds hypothesis and very large cardinals
+Normal rank
@@ Property / cites work @@
+Q3118395
@@ Property / cites work: Q3118395 / rank @@
+Normal rank
@@ Property / cites work @@
+Iterating ordinal definability
@@ Property / cites work: Iterating ordinal definability / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q126543637
@@ Property / Wikidata QID: Q126543637 / rank @@
+Normal rank