Mauro Di Nasso

> HOME > CV > PAPERS > DIDATTICA > TESI > LINKS

PAPERS Quasi-selective ultrafilters and asymptotic numerosities  (with A. Blass and M. Forti), preprint, 2011, ArXiv:1011.2089v2. Fine asymptotic densities for sets of natural numbers , Proceedings of the American Mathematical Society, vol. 138 (2010), pp. 2657-65. Numerosities of point sets over the real line (with M. Forti), Transactions of the American Mathematical Society, vol. 362 (2010), pp. 5355-71. A Euclidean measure of size for mathematical universes (with V. Benci and M. Forti), Logique et Analyse, vol. 197 (2007), pp. 43-52. An Aristotelian notion of size (with V. Benci and M. Forti), Annals of Pure and Applied Logic, vol. 143 (2006), pp. 43-53. The eightfold path to nonstandard analysis (with V. Benci and M. Forti), in "Nonstandard Methods and Applications in Mathematics" (N.J. Cutland, M. Di Nasso and D.A. Ross, eds.), Lecture Notes in Logic vol. 25, ASL, AK Peters, 2006, pp. 3-44. Hausdorff ultrafilters (with M. Forti), Proceedings of the American Mathematical Society, vol. 134 (2006), pp. 1809-1818. Ultrafilter semirings and nonstandard submodels of the Stone-Cech compactification of the natural numbers (with M. Forti), in "Logic and its Applications" (A. Blass and Y. Zhang, eds.), AMS Contemporary Mathematics, vol. 380, 2005, pp. 45-51. Topological and nonstandard extensions (with M. Forti), Monatshefte fur Mathematik, vol. 144 (2005), pp. 89-112. Hausdorff nonstandard extensions (with V. Benci and M. Forti), Bol. Soc. Parana. Mat. (new series), vol. 20 (2002), pp. 9-20. A purely algebraic characterization of the hyperreal numbers (with V. Benci), Proceedings of the American Mathematical Society, vol. 133 (2005), pp. 2501-2505. Alpha-theory: an elementary axiomatics for nonstandard analysis (with V. Benci), Expositiones Mathematicae, vol. 21 (2003), pp. 355-386. Numerosities of labelled sets: a new way of counting (with V. Benci), Advances in Mathematics, vol 173 (2003), pp. 50-67. On the ordering of the nonstandard real line (with M. Forti), in "Logic and Algebra",  AMS Contemporary Mathematics, vol. 302, 2002, pp. 259-273. Nonstandard analysis and an application to the symmetric group on the natural numbers (with Y. Zhang), in "Logic and Algebra", AMS Contemporary Mathematics, vol. 302, 2002, pp. 249-258. Combinatorial principles in nonstandard analysis (with K. Hrbacek), Annals of Pure and Applied Logic, vol.119 (2003), pp. 265-293. A ring homomorphism is enough to get nonstandard analysis (with V. Benci), Bulletin of the Belgian Mathematical Society, vol. 10 (2003), pp. 1-10. Nonstandard analysis by means of ideal values of sequences, in "Reuniting the Antipodes - Constructive and Nonstandard Views of the Continuum" (P. Schuster, U. Berger and H. Osswald, eds.), Synthese Library, Kluwer Academic Publishers, vol. 306 (2001), pp. 63-73. On the foundations of nonstandard mathematics, Mathematica Japonica, vol. 50, n.1 (1999), pp. 131-160. The generic filter property in nonstandard analysis, Annals of Pure and Applied Logic, vol. 111 (2001), pp. 23-37. An axiomatic presentation of the nonstandard methods in mathematics, Journal of Symbolic Logic, vol. 67 (2002), pp. 315-325. Pseudo-superstructures as nonstandard universes, Journal of Symbolic Logic, vol.63, n.1 (1998), pp. 222-236. Linearly stratified models for the foundations of nonstandard set theory, Mathematical Logic Quarterly, vol. 44 (1998), pp. 138-142. *ZFC: an axiomatic *approach to nonstandard methods, Comptes Rendus Académie Sciences Paris, t. 324, Serie I, n.9 (1997), pp. 963-967. Hyperordinals and nonstandard alpha-models, in "Logic and Algebra" (A.Ursini and P.Agliano' eds.), Lecture Notes in Pure and Applied Mathematics, vol.180, 1996, Marcel Dekker, New York, pp. 457-475. (In Italiano) I numeri infinitesimi e l'analisi nonstandard, Archimede, 2003 n.1, pp. 13-22.