Some Second Order Set Theory (Q3601799): Difference between revisions

@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-540-92701-3_3
+Normal rank
@@ Property / OpenAlex ID @@
+W1585505717
@@ Property / OpenAlex ID: W1585505717 / rank @@
+Normal rank
@@ Property / cites work @@
+Set-theoretic geology
@@ Property / cites work: Set-theoretic geology / rank @@
+Normal rank
@@ Property / cites work @@
+Extensions with the approximation and cover properties have no new large cardinals
+Normal rank
@@ Property / cites work @@
+A simple maximality principle
@@ Property / cites work: A simple maximality principle / rank @@
+Normal rank
@@ Property / cites work @@
+The modal logic of forcing
@@ Property / cites work: The modal logic of forcing / rank @@
+Normal rank
@@ Property / cites work @@
+The ground axiom is consistent with V $\neq $ HOD
@@ Property / cites work: The ground axiom is consistent with V $\neq $ HOD / rank @@
+Normal rank
@@ Property / cites work @@
+Certain very large cardinals are not created in small forcing extensions
+Normal rank
@@ Property / cites work @@
+The ground axiom
@@ Property / cites work: The ground axiom / rank @@
+Normal rank
@@ Property / cites work @@
+Q4781761
@@ Property / cites work: Q4781761 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3601799