Di Nasso, Mauro; Forti, Marco Euclidean integers, Euclidean ultrafilters, and Euclidean numerosities. arXiv:2207.07505 Preprint, arXiv:2207.07505 [math.LO] (2022). MSC: 03E02 03E65 03H15 BibTeX Cite \textit{M. Di Nasso} and \textit{M. Forti}, ``Euclidean integers, Euclidean ultrafilters, and Euclidean numerosities'', Preprint, arXiv:2207.07505 [math.LO] (2022) Full Text: arXiv OA License
Blass, Andreas; Di Nasso, Mauro; Forti, Marco Quasi-selective ultrafilters and asymptotic numerosities. (English) Zbl 1270.03105 Adv. Math. 231, No. 3-4, 1462-1486 (2012). MSC: 03E65 03E05 03C20 PDFBibTeX XMLCite \textit{A. Blass} et al., Adv. Math. 231, No. 3--4, 1462--1486 (2012; Zbl 1270.03105) Full Text: DOI arXiv
Di Nasso, Mauro; Forti, Marco Numerosities of point sets over the real line. (English) Zbl 1200.03033 Trans. Am. Math. Soc. 362, No. 10, 5355-5371 (2010). MSC: 03E10 03C20 03E05 03H05 PDFBibTeX XMLCite \textit{M. Di Nasso} and \textit{M. Forti}, Trans. Am. Math. Soc. 362, No. 10, 5355--5371 (2010; Zbl 1200.03033) Full Text: DOI
Benci, Vieri; Di Nasso, Mauro; Forti, Marco An Euclidean measure of size for mathematical universes. (English) Zbl 1131.03029 Log. Anal., Nouv. Sér. 50, No. 197, 43-62 (2007). Reviewer: Nicolae A. Soare (Bucureşti) MSC: 03E99 03B30 PDFBibTeX XMLCite \textit{V. Benci} et al., Log. Anal., Nouv. Sér. 50, No. 197, 43--62 (2007; Zbl 1131.03029)
Benci, Vieri; Di Nasso, Mauro; Forti, Marco An Aristotelian notion of size. (English) Zbl 1114.03055 Ann. Pure Appl. Logic 143, No. 1-3, 43-53 (2006). Reviewer: Roman Kossak (New York) MSC: 03H05 03E70 PDFBibTeX XMLCite \textit{V. Benci} et al., Ann. Pure Appl. Logic 143, No. 1--3, 43--53 (2006; Zbl 1114.03055) Full Text: DOI
Benci, Vieri; Forti, Marco; Di Nasso, Mauro The eightfold path to nonstandard analysis. (English) Zbl 1104.03061 Cutland, Nigel J. (ed.) et al., Nonstandard methods and applications in mathematics. Wellesley, MA: A K Peters; Urbana, IL: Association for Symbolic Logic (ASL) (ISBN 1-56881-291-4/hbk; 1-56881-292-2/pbk). Lecture Notes in Logic 25, 3-44 (2006). Reviewer: German Pestov (Tomsk) MSC: 03H05 26E35 03E65 54J05 PDFBibTeX XMLCite \textit{V. Benci} et al., Lect. Notes Log. 25, 3--44 (2006; Zbl 1104.03061)
Di Nasso, Mauro; Forti, Marco Hausdorff ultrafilters. (English) Zbl 1096.03056 Proc. Am. Math. Soc. 134, No. 6, 1809-1818 (2006). Reviewer: Kiyoshi Iseki (Osaka) MSC: 03E05 03H05 54D80 PDFBibTeX XMLCite \textit{M. Di Nasso} and \textit{M. Forti}, Proc. Am. Math. Soc. 134, No. 6, 1809--1818 (2006; Zbl 1096.03056) Full Text: DOI
Di Nasso, Mauro; Forti, Marco Ultrafilter semirings and nonstandard submodels of the Stone-Čech compactification of the natural numbers. (English) Zbl 1079.16036 Blass, Andreas (ed.) et al., Logic and its applications. Result of the conference on logic and its applications in algebra and geometry, Ann Arbor, MI, USA, April 11–13, 2003 and the workshop on combinatorial set theory, excellent classes, and Schanuel conjecture, Ann Arbor, MI, USA, April 14–15, 2003. Providence, RI: American Mathematical Society (AMS) (ISBN 0-8218-3474-6/pbk). Contemporary Mathematics 380, 45-51 (2005). MSC: 16Y60 03H15 54D80 PDFBibTeX XMLCite \textit{M. Di Nasso} and \textit{M. Forti}, Contemp. Math. 380, 45--51 (2005; Zbl 1079.16036)
Di Nasso, Mauro; Forti, Marco Topological and nonstandard extensions. (English) Zbl 1073.54015 Monatsh. Math. 144, No. 2, 89-112 (2005). Reviewer: Paul Bankston (Milwaukee) MSC: 54D35 03H05 03C20 54J05 PDFBibTeX XMLCite \textit{M. Di Nasso} and \textit{M. Forti}, Monatsh. Math. 144, No. 2, 89--112 (2005; Zbl 1073.54015) Full Text: DOI
Forti, Marco; Di Nasso, Mauro; Benci, Vieri Hausdorff nonstandard extensions. (English) Zbl 1061.54018 Bol. Soc. Parana. Mat. (3) 20, No. 1-2, 9-20 (2002). Reviewer: T. Thrivikraman (Cochin) MSC: 54D35 03H05 03C20 54D80 54J05 PDFBibTeX XMLCite \textit{M. Forti} et al., Bol. Soc. Parana. Mat. (3) 20, No. 1--2, 9--20 (2002; Zbl 1061.54018)
Di Nasso, Mauro; Forti, Marco On the ordering of the nonstandard real line. (English) Zbl 1016.03071 Zhang, Yi (ed.), Logic and algebra. Providence, RI: American Mathematical Society (AMS). Contemp. Math. 302, 259-273 (2002). Reviewer: Robert A.Herrmann (Annapolis) MSC: 03H05 03C20 06F30 PDFBibTeX XMLCite \textit{M. Di Nasso} and \textit{M. Forti}, Contemp. Math. 302, 259--273 (2002; Zbl 1016.03071)