Hindman's theorem: an ultrafilter argument in second order arithmetic (Q3083144): Difference between revisions

@@ Property / arXiv ID @@
+.3882
@@ Property / arXiv ID: 0906.3882 / rank @@
+Normal rank
@@ Property / cites work @@
+Ultrafilters: Some old and some new results
@@ Property / cites work: Ultrafilters: Some old and some new results / rank @@
+Normal rank
@@ Property / cites work @@
+A short proof of Hindman's theorem
@@ Property / cites work: A short proof of Hindman's theorem / rank @@
+Normal rank
@@ Property / cites work @@
+An effective proof that open sets are Ramsey
@@ Property / cites work: An effective proof that open sets are Ramsey / rank @@
+Normal rank
@@ Property / cites work @@
+Q5589084
@@ Property / cites work: Q5589084 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4220572
@@ Property / cites work: Q4220572 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra in the Stone-Čech compactification: theory and applications
+Normal rank