Repository | Journal | Volume | Articles

(2000) Synthese 125 (1-2).
Simplified models establishing some of Nézondet's results on Erdös–Woods conjecture
Marcel Guillaume
pp. 133-146
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.
Publication details
Full citation:
Guillaume, M. (2000). Simplified models establishing some of Nézondet's results on Erdös–Woods conjecture. Synthese 125 (1-2), pp. 133-146.