Iterated hyper-extensions and an idempotent ultrafilter proof of Rado’s Theorem

DOI10.1090/S0002-9939-2014-12342-2zbMath1386.03057arXiv1304.3009MaRDI QIDQ5179343

Mauro Di Nasso

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

zbMATH Keywords

Ramsey theorynonstandard analysisultrafiltersDiophantine equations

Mathematics Subject Classification ID

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