Abstract
The first step of the construction of Nézondet's models of finite arithmetics which are counter-models to Erdös–Woods conjecture is to add to the natural numbers the non-standard numbers generated by one of them, using addition, multiplication and divisions by a natural factor allowed in an ultrapower construction. After a review of some properties of such a structure, we show that the choice of the ultrafilter can be managed, using just the Chinese remainder's theorem, so that a model as desired is obtained as early as at the first time.
Similar content being viewed by others
References
Dubois-Reymond, P.: 1868, 'Bemerkungen über die verschiedenen Werthe welche eine Funktion zweier reellen Variabeln erhält, wenn man diese Variabeln entweder nacheinander oder gewissen Beziehungen gemäss gleichzeitig verschwinden lässt', Journal für die reine und angewandte Mathematik 70, 10–45.
Dubois-Reymond, P.: 1871, 'Théorème Général Concernant la Grandeur Relative des Infinis de Fonctions et de Leurs Dérivées', Journal für die reine und angewandte Mathematik 74, 294–304.
Nézondet, F.: 1997, 'p-destinées et Applications aux Structures Arithmétiques avec Successeur et Coprimarité', Thèse, Laboratoire de Logique, Algorithmique et Informatique, Universitéd'Auvergne, (Clermont-Ferrand I).
Woods, A.: 1981, 'Some Problems in Logic and Number Theory and their Connections', Thesis, Faculty of Science, Department of Mathematics, University of Manchester.
Author information
Authors and Affiliations
Rights and permissions
About this article
Cite this article
Guillaume, M. Simplified Models Establishing some of Né:zondet's Results on Erdös–Woods Conjecture. Synthese 125, 133–146 (2000). https://doi.org/10.1023/A:1005227515270
Issue Date:
DOI: https://doi.org/10.1023/A:1005227515270