TY  - RPRT
TI  - Infintesimals in a Recursively Enumerable Prime Model
AU  - Tristram de Piro
PY  - 2005
UR  - https://arxiv.org/abs/math/0510412
ID  - math/0510412
ER  -