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
Di Nasso, Mauro; Hrbacek, Karel Combinatorial principles in nonstandard analysis. (English) Zbl 1016.03070 Ann. Pure Appl. Logic 119, No. 1-3, 265-293 (2003). Reviewer: Robert A.Herrmann (Annapolis) MSC: 03H05 PDFBibTeX XMLCite \textit{M. Di Nasso} and \textit{K. Hrbacek}, Ann. Pure Appl. Logic 119, No. 1--3, 265--293 (2003; Zbl 1016.03070) Full Text: DOI
Di Nasso, Mauro The generic filter property in nonstandard analysis. (English) Zbl 0981.03069 Ann. Pure Appl. Logic 111, No. 1-2, 23-37 (2001). Reviewer: Robert A.Herrmann (Annapolis) MSC: 03H05 03C52 03E05 PDFBibTeX XMLCite \textit{M. Di Nasso}, Ann. Pure Appl. Logic 111, No. 1--2, 23--37 (2001; Zbl 0981.03069) Full Text: DOI