dblp.uni-trier.dewww.uni-trier.de

Mauro Di Nasso

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2006
6EEVieri Benci, Mauro Di Nasso, Marco Forti: An Aristotelian notion of size. Ann. Pure Appl. Logic 143(1-3): 43-53 (2006)
2003
5 Mauro Di Nasso, Karel Hrbacek: Combinatorial principle in nonstandard analysis. Ann. Pure Appl. Logic 119(1-3): 265-293 (2003)
2002
4 Mauro Di Nasso: An Axiomatic Presentation of The Nonstandard Methods in Mathematics. J. Symb. Log. 67(1): 315-325 (2002)
2001
3 Mauro Di Nasso: The generic filter property in nonstandard analysis. Ann. Pure Appl. Logic 111(1-2): 23-37 (2001)
1998
2 Mauro Di Nasso: Pseudo-Superstructures as Nonstandard Universes. J. Symb. Log. 63(1): 222-236 (1998)
1 Mauro Di Nasso: Linearly Stratified Models for the Foundations of Nonstandard Mathematics. Math. Log. Q. 44: 138-142 (1998)

Coauthor Index

1Vieri Benci [6]
2Marco Forti [6]
3Karel Hrbacek [5]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)