Simplified Models Establishing some of Né:zondet's Results on Erdös–Woods Conjecture
Tóm tắt
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.
Tài liệu tham khảo
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.