The finite intersection principle and genericity (Q5360372): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+On the strength of the finite intersection principle
+Normal rank
@@ Property / cites work @@
+Weak comparability of well orderings and reverse mathematics
+Normal rank
@@ Property / cites work @@
+Countable algebra and set existence axioms
@@ Property / cites work: Countable algebra and set existence axioms / rank @@
+Normal rank
@@ Property / cites work @@
+Embedding and coding below a 1-generic degree
@@ Property / cites work: Embedding and coding below a 1-generic degree / rank @@
+Normal rank
@@ Property / cites work @@
+A characterization of the entropies of multidimensional shifts of finite type
+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 @@
+The canonical Ramsey theorem and computability theory
+Normal rank
@@ Property / cites work @@
+Q3960633
@@ Property / cites work: Q3960633 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5337203
@@ Property / cites work: Q5337203 / rank @@
+Normal rank