Ordinal definability in Jensen's model (Q3708012): Difference between revisions

@@ Property / cites work @@
+Q3921212
@@ Property / cites work: Q3921212 / rank @@
+Normal rank
@@ Property / cites work @@
+Intermediate submodels and generic extensions in set theory
+Normal rank
@@ Property / cites work @@
+Embedding theorems for boolean algebras and consistency results on ordinal definable sets
+Normal rank
@@ Property / cites work @@
+Iterating ordinal definability
@@ Property / cites work: Iterating ordinal definability / rank @@
+Normal rank
@@ Property / cites work @@
+Transfinite descending sequences of models HODα
@@ Property / cites work: Transfinite descending sequences of models HODα / rank @@
+Normal rank