Infintesimals in a Recursively Enumerable Prime Model
Logic
2007-05-23 v1
Abstract
Using methods developed by Robinson, we find a complete theory suitable for a first order description of infintesimal neighborhoods. We use this to construct a specialisation having universal properties and to find a recursively enumerable model in which the algebraic version of Bezout's theorem is provable by non-standard methods.
Keywords
Cite
@article{arxiv.math/0510412,
title = {Infintesimals in a Recursively Enumerable Prime Model},
author = {Tristram de Piro},
journal= {arXiv preprint arXiv:math/0510412},
year = {2007}
}