Characterizations of pretameness and the Ord-cc (Q2636530): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963502405
@@ Property / OpenAlex ID: W2963502405 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.10825
@@ Property / arXiv ID: 1710.10825 / rank @@
+Normal rank
@@ Property / cites work @@
+Hyperclass Forcing in Morse-Kelley Class Theory
@@ Property / cites work: Hyperclass Forcing in Morse-Kelley Class Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Q3921212
@@ Property / cites work: Q3921212 / rank @@
+Normal rank
@@ Property / cites work @@
+Fine structure and class forcing
@@ Property / cites work: Fine structure and class forcing / rank @@
+Normal rank
@@ Property / cites work @@
+Long projective wellorderings
@@ Property / cites work: Long projective wellorderings / rank @@
+Normal rank
@@ Property / cites work @@
+CLASS FORCING, THE FORCING THEOREM AND BOOLEAN COMPLETIONS
+Normal rank
@@ Property / cites work @@
+Set theory. An introduction to independence proofs
+Normal rank
@@ Property / cites work @@
+Forcing with proper classes
@@ Property / cites work: Forcing with proper classes / rank @@
+Normal rank