Class Forcing in Class Theory (Q3305404): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1542108027
@@ Property / OpenAlex ID: W1542108027 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.00116
@@ Property / arXiv ID: 1503.00116 / 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 @@
+Q3907550
@@ Property / cites work: Q3907550 / 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 @@
+Extensions with the approximation and cover properties have no new large cardinals
+Normal rank
@@ Property / cites work @@
+Certain very large cardinals are not created in small forcing extensions
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3305404