Generic Σ31 absoluteness (Q5313382): Difference between revisions

@@ Property / author @@
+Sy-David Friedman
@@ Property / author: Sy-David Friedman / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.2178/jsl/1080938826
+Normal rank
@@ Property / OpenAlex ID @@
+W1513191254
@@ Property / OpenAlex ID: W1513191254 / rank @@
+Normal rank
@@ Property / cites work @@
+Generic absoluteness
@@ Property / cites work: Generic absoluteness / rank @@
+Normal rank
@@ Property / cites work @@
+Bounded forcing axioms as principles of generic absoluteness
+Normal rank
@@ Property / cites work @@
+A characterization of Martin's axiom in terms of absoluteness
+Normal rank
@@ Property / cites work @@
+The axiom of determinacy, forcing axioms, and the nonstationary ideal
+Normal rank
@@ Property / cites work @@
+Fine structure and class forcing
@@ Property / cites work: Fine structure and class forcing / rank @@
+Normal rank
@@ Property / cites work @@
+Some exact equiconsistency results in set theory
@@ Property / cites work: Some exact equiconsistency results in set theory / rank @@
+Normal rank

Generic Σ<sub>3</sub><sup>1</sup> absoluteness (Q5313382): Difference between revisions