Coding into 𝐾 by reasonable forcing (Q4517449): Difference between revisions

@@ Property / author @@
-Ralf-Dieter Schindler
@@ Property / author: Ralf-Dieter Schindler / rank @@
-Normal rank
@@ Property / author @@
+Ralf-Dieter Schindler
@@ Property / author: Ralf-Dieter Schindler / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+math/9706208
@@ Property / arXiv ID: math/9706208 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3921212
@@ Property / cites work: Q3921212 / rank @@
+Normal rank
@@ Property / cites work @@
+Large cardinals and definable counterexamples to the continuum hypothesis
+Normal rank
@@ Property / cites work @@
+Q3852172
@@ Property / cites work: Q3852172 / rank @@
+Normal rank
@@ Property / cites work @@
+Proper forcing and <i>L</i>(ℝ)
@@ Property / cites work: Proper forcing and <i>L</i>(ℝ) / rank @@
+Normal rank
@@ Property / cites work @@
+Proper Forcing and Remarkable Cardinals
@@ Property / cites work: Proper Forcing and Remarkable Cardinals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4694313
@@ Property / cites work: Q4694313 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5690487
@@ Property / cites work: Q5690487 / rank @@
+Normal rank
@@ Property / cites work @@
+Core models with more Woodin cardinals
@@ Property / cites work: Core models with more Woodin cardinals / rank @@
+Normal rank
@@ Property / cites work @@
+\(\Sigma_3^1\) absoluteness and the second uniform indiscernible
+Normal rank
@@ Property / cites work @@
+Q3784061
@@ Property / cites work: Q3784061 / rank @@
+Normal rank
@@ Property / cites work @@
+Some descriptive set theory and core models
@@ Property / cites work: Some descriptive set theory and core models / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1870892404
@@ Property / OpenAlex ID: W1870892404 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:4517449