Showing 2013Show all
2 papers · 1 filter
math.LO2013
A taste of nonstandard methods in combinatorics of numbers
Mauro Di Nasso
By presenting the proofs of a few sample results, we introduce the reader to the use of nonstandard analysis in aspects of combinatorics of numbers.
math.LO2013
Iterated hyper-extensions and an idempotent ultrafilter proof of Rado's theorem
Mauro Di Nasso
By using nonstandard analysis, and in particular iterated hyper-extensions, we give foundations to a peculiar way of manipulating ultrafilters on the natural numbers and their pseu…