2006 | ||
---|---|---|
6 | EE | Vieri 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) |
1 | Vieri Benci | [6] |
2 | Marco Forti | [6] |
3 | Karel Hrbacek | [5] |