Pseudo-Superstructures as Nonstandard Universes. - Mauro Di Nasso (J. Symb. Log., 1998)

Linearly Stratified Models for the Foundations of Nonstandard Mathematics. - Mauro Di Nasso (Math. Log. Q., 1998)

The generic filter property in nonstandard analysis. - Mauro Di Nasso (Ann. Pure Appl. Log., 2001)

An Axiomatic Presentation of The Nonstandard Methods in Mathematics. - Mauro Di Nasso (J. Symb. Log., 2002)

Combinatorial principle in nonstandard analysis. - Mauro Di Nasso; Karel Hrbacek (Ann. Pure Appl. Log., 2003)

An Aristotelian notion of size. - Vieri Benci; Mauro Di Nasso; Marco Forti (Ann. Pure Appl. Log., 2006)

A taste of nonstandard methods in combinatorics of numbers. - Mauro Di Nasso (Geometry, Structure and Randomness in Combinatorics, 2014)

An Elementary Proof of Jin's Theorem with a Bound. - Mauro Di Nasso (Electron. J. Comb., 2014)

Embeddability Properties of Difference Sets. - Mauro Di Nasso (Integers, 2014)

Elementary numerosity and measures. - Vieri Benci; Emanuele Bottazzi; Mauro Di Nasso (J. Log. Anal., 2014)

Intersections of Shifted Sets. - Mauro Di Nasso (Electron. J. Comb., 2015)

Intersections of Sets of Distance. - Mauro Di Nasso (Integers, 2016)

Approximate Polynomial Structure in Additively Large Sets. - Mauro Di Nasso; Isaac Goldbring; Renling Jin; Steven Leth; Martino Lupini; Karl Mahlburg (Integers, 2016)

High density piecewise Syndeticity of Product Sets in Amenable Groups. - Mauro Di Nasso; Isaac Goldbring; Renling Jin; Steven Leth; Martino Lupini; Karl Mahlburg (J. Symb. Log., 2016)

Fermat-Like Equations that are not Partition Regular. - Mauro Di Nasso; Maria Riggio (Comb., 2018)

Infinite monochromatic patterns in the integers. - Mauro Di Nasso (J. Comb. Theory A, 2022)

Foundations of iterated star maps and their use in combinatorics. - Mauro Di Nasso; Renling Jin (Ann. Pure Appl. Log., 2025)