2015/01/23 by Mauro Di Nasso, Di Nasso, Mauro · 3 citations
Mathematics · Computer Science · #Mathematical and Theoretical Analysis #Computability, Logic, AI Algorithms #History and Theory of Mathematics
paper · pdf · doi:10.48550/arxiv.1501.05755
In this paper we present a use of nonstandard methods in the theory of ultrafilters and in related applications to combinatorics of numbers.