- Noetherian varieties in definably complete structures
- Topometric spaces and perturbations of metric structures
- Full algebra of generalized functions and non-standard asymptotic analysis
- Asymptotics of families of solutions of nonlinear difference equations
- On the constructive Dedekind reals
- Nonlinear stochastic integrals for hyperfinite Lévy processes
- Enlargements of schemes
- Inverse problem for cuts
- Introducing Logic and Analysis