Forcing lightface definable well-orders without the GCH (Q2255735): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2014.11.010
+Normal rank
@@ Property / OpenAlex ID @@
+W1984713998
@@ Property / OpenAlex ID: W1984713998 / rank @@
+Normal rank
@@ Property / cites work @@
+Coding with ladders a well ordering of the reals
@@ Property / cites work: Coding with ladders a well ordering of the reals / rank @@
+Normal rank
@@ Property / cites work @@
+Large cardinals and locally defined well-orders of the universe
+Normal rank
@@ Property / cites work @@
+Definable well-orders of <i>H</i>(<i>ω</i><sub>2</sub>) and GCH
+Normal rank
@@ Property / cites work @@
+Iterated Forcing and Elementary Embeddings
@@ Property / cites work: Iterated Forcing and Elementary Embeddings / rank @@
+Normal rank
@@ Property / cites work @@
+Q5439452
@@ Property / cites work: Q5439452 / rank @@
+Normal rank
@@ Property / cites work @@
+Large cardinals and definable well-orders, without the GCH
+Normal rank
@@ Property / cites work @@
+LARGE CARDINALS AND LIGHTFACE DEFINABLE WELL-ORDERS, WITHOUT THE GCH
+Normal rank
@@ Property / cites work @@
+Locally Σ<sub>1</sub>-definable well-orders of H(κ<sup>+</sup>)
+Normal rank
@@ Property / cites work @@
+Q5626664
@@ Property / cites work: Q5626664 / rank @@
+Normal rank
@@ Property / cites work @@
+Projective determinacy
@@ Property / cites work: Projective determinacy / rank @@
+Normal rank