Iterated hyper-extensions and an idempotent ultrafilter proof of Rado’s Theorem (Q5179343): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.3009
@@ Property / arXiv ID: 1304.3009 / rank @@
+Normal rank
@@ Property / cites work @@
+Standard foundations for nonstandard analysis
@@ Property / cites work: Standard foundations for nonstandard analysis / rank @@
+Normal rank
@@ Property / cites work @@
+Q4934511
@@ Property / cites work: Q4934511 / rank @@
+Normal rank
@@ Property / cites work @@
+Partition regularity in the rationals
@@ Property / cites work: Partition regularity in the rationals / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmetrizable Topological Dynamics and Ramsey Theory
+Normal rank
@@ Property / cites work @@
+Q5677484
@@ Property / cites work: Q5677484 / rank @@
+Normal rank
@@ Property / cites work @@
+Model theory.
@@ Property / cites work: Model theory. / rank @@
+Normal rank
@@ Property / cites work @@
+*ZFC: An axiomatic * approach to nonstandard methods
+Normal rank
@@ Property / cites work @@
+An axiomatic presentation of the nonstandard methods in mathematics
+Normal rank
@@ Property / cites work @@
+Alpha-theory: An elementary axiomatics for nonstandard analysis
+Normal rank
@@ Property / cites work @@
+The generic filter property in nonstandard analysis
+Normal rank
@@ Property / cites work @@
+Fine asymptotic densities for sets of natural numbers
+Normal rank
@@ Property / cites work @@
+Q4218534
@@ Property / cites work: Q4218534 / rank @@
+Normal rank
@@ Property / cites work @@
+Open Problems in Partition Regularity
@@ Property / cites work: Open Problems in Partition Regularity / rank @@
+Normal rank
@@ Property / cites work @@
+Infinite partition regular matrices: solutions in central sets
+Normal rank
@@ Property / cites work @@
+Q4821145
@@ Property / cites work: Q4821145 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving equations in \(\beta\mathbb{N}\)
@@ Property / cites work: Solving equations in \(\beta\mathbb{N}\) / rank @@
+Normal rank
@@ Property / cites work @@
+Q4552744
@@ Property / cites work: Q4552744 / rank @@
+Normal rank