Infintesimals in a Recursively Enumerable Prime Model

Simple item page
dc.creatorde Piro, Tristram
dc.date2005-10-19
dc.date.accessioned2026-07-07T06:47:40Z
dc.date.available2026-07-07T06:47:40Z
dc.descriptionUsing 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.
dc.identifierhttps://arxiv.org/abs/math/0510412
dc.identifierhttp://arxiv.org/abs/math/0510412
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/103730
dc.subjectLogic
dc.titleInfintesimals in a Recursively Enumerable Prime Model
dc.typetext

Files

Collections

arXiv