Infintesimals in a Recursively Enumerable Prime Model
From MaRDI portal
Publication:6476183
arXivmath/0510412MaRDI QIDQ6476183FDOQ6476183
Authors: Tristram de Piro 
Publication date: 19 October 2005
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.
This page was built for publication: Infintesimals in a Recursively Enumerable Prime Model
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6476183)
