Repository | Book | Chapter
(2002) Internal logic, Dordrecht, Springer.
Though the Archimedean and my completeness axioms [for Euclidean geometry or the reals respectively], the ordinary continuity axiom is divided into two completely different components. Moreover, with my completeness axiom, not one infinite process is demanded, but we have only a finite number of finite axioms, just as Kronecker demands.
Publication details
DOI: 10.1007/978-94-017-0083-2_3
Full citation:
Gauthier, Y. (2002). The consistency of arithmetic revisited, in Internal logic, Dordrecht, Springer, pp. 50-80.
This document is unfortunately not available for download at the moment.