Skip to main content
Log in

Simplified Models Establishing some of Né:zondet's Results on Erdös–Woods Conjecture

  • Published:
Synthese Aims and scope Submit manuscript

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.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

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.

    Google Scholar 

  • 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.

    Google Scholar 

  • 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).

    Google Scholar 

  • Woods, A.: 1981, 'Some Problems in Logic and Number Theory and their Connections', Thesis, Faculty of Science, Department of Mathematics, University of Manchester.

Download references

Author information

Authors and Affiliations

Authors

Rights and permissions

Reprints 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

Download citation

  • Issue Date:

  • DOI: https://doi.org/10.1023/A:1005227515270

Keywords

Navigation