Any FIP real computes a 1-generic (Q5347283): Difference between revisions

@@ Property / author @@
+Rodney G. Downey
@@ Property / author: Rodney G. Downey / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2963358042
@@ Property / OpenAlex ID: W2963358042 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.03785
@@ Property / arXiv ID: 1502.03785 / rank @@
+Normal rank
@@ Property / cites work @@
+Bounding prime models
@@ Property / cites work: Bounding prime models / rank @@
+Normal rank
@@ Property / cites work @@
+The finite intersection principle and genericity
@@ Property / cites work: The finite intersection principle and genericity / rank @@
+Normal rank
@@ Property / cites work @@
+Reverse mathematics and properties of finite character
+Normal rank
@@ Property / cites work @@
+On the strength of the finite intersection principle
+Normal rank
@@ Property / cites work @@
+The atomic model theorem and type omitting
@@ Property / cites work: The atomic model theorem and type omitting / rank @@
+Normal rank
@@ Property / cites work @@
+Σ_{𝑛}-bounding and Δ_{𝑛}-induction
@@ Property / cites work: Σ_{𝑛}-bounding and Δ_{𝑛}-induction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395521
@@ Property / cites work: Q3395521 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4040892
@@ Property / cites work: Q4040892 / rank @@
+Normal rank