Iterated hyper-extensions and an idempotent ultrafilter proof of Rado’s Theorem
From MaRDI portal
Publication:5179343
DOI10.1090/S0002-9939-2014-12342-2zbMath1386.03057arXiv1304.3009MaRDI QIDQ5179343
Publication date: 19 March 2015
Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1304.3009
Ramsey theory (05D10) Other combinatorial set theory (03E05) Linear Diophantine equations (11D04) Nonstandard models in mathematics (03H05)
Related Items
On Rado conditions for nonlinear Diophantine equations ⋮ Ramsey properties of nonlinear Diophantine equations ⋮ Nonstandard characterisations of tensor products and monads in the theory of ultrafilters ⋮ \(\mathcal {F}\)-finite embeddabilities of sets and ultrafilters ⋮ Rado equations solved by linear combinations of idempotent ultrafilters ⋮ A nonstandard technique in combinatorial number theory
Cites Work
- Model theory.
- Alpha-theory: An elementary axiomatics for nonstandard analysis
- Solving equations in \(\beta\mathbb{N}\)
- Partition regularity in the rationals
- Fine asymptotic densities for sets of natural numbers
- Standard foundations for nonstandard analysis
- *ZFC: An axiomatic * approach to nonstandard methods
- An axiomatic presentation of the nonstandard methods in mathematics
- Open Problems in Partition Regularity
- Infinite partition regular matrices: solutions in central sets
- Nonmetrizable Topological Dynamics and Ramsey Theory
- The generic filter property in nonstandard analysis
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
