```Date: Dec 12, 2012 12:09 AM
Author: ross.finlayson@gmail.com
Subject: Re: fom - 01 - preface

On Dec 10, 9:46 pm, fom <fomJ...@nyms.net> wrote:> On 12/10/2012 10:57 PM, Ross A. Finlayson wrote:>>>>>>>>>> > On Dec 10, 7:55 pm, fom <fomJ...@nyms.net> wrote:> >> On 12/10/2012 2:43 PM, Virgil wrote:>> >>> In article> >>> <e88797b7-7c0e-456a-9cf7-87f0a5247...@gu9g2000vbb.googlegroups.com>,> >>>    WM <mueck...@rz.fh-augsburg.de> wrote:>> >>>> On 10 Dez., 01:02, fom <fomJ...@nyms.net> wrote:> >>>>> On 12/9/2012 12:30 PM, WM wrote:>> >>>>>> On 9 Dez., 17:24, fom <fomJ...@nyms.net> wrote:> >>>>>>> On 12/9/2012 3:20 AM, WM wrote:>> >>>>> <snip>>> >>>>>>> So, why is there no global axiom of choice?>> >>>>>> As far as I am informed, *the* axiom of choice is global. There is no> >>>>>> exception. Zermelo proved: Every set can be well-ordered.>> >>>>> The axiom of choice only applies to sets within> >>>>> a given model.>> >>>> Zermelo proved that every set can be well-ordered - without mentioning> >>>> any model. My interest is solely the set of real numbers. It is> >>>> covered by Zermelo's proof.>> >>> Does WM claim that Zermelo's "proof" must hold in every model, that it> >>> is somehow universal?>> >> Well, it certainly holds whenever the theory> >> being modeled has the axoim of choice.>> >> I wonder how the claim holds when the axiom> >> of determinacy is in force and the axiom of> >> choice is inconsistent.>> >> I suppose, that the claim is interpretable along> >> the lines of finitism.  Completeness is of no> >> issue.  What can be proved using a sound deductive> >> system is what is true.  Then the only real numbers> >> are the constructive real numbers.>> > I'm for that they're mutually constructed as the complete ordered> > field of Eudoxus/Cauchy/Dedekind and also as a partially ordered ring> > a la Bishop and Cheng (strong constructivists), with between the two> > forms a rather restricted, but existent, transfer principle.>> > Besides Archimedes, and, say, Newton's first fluxions or Leibniz'> > infinitesimals:  where do we find the infinitesimals in natural> > theoretical order?>> Abraham Robinson>> Non-Standard Analysis provides a model wherein there> are infinitesimals so that the physicists can feel> good about what they do.>>>>>>>>>> >http://en.wikipedia.org/wiki/Infinitesimal>> > Thinkers since antiquity.Two, three, and four are clearly integers, and clearly rationals, andclearly reals, and clearly ordinals, and clearly hypercomplex numbersfrom each Cartesian product of a space-like and space-like, time-like,and light-like dimensions.Multiplication of reals with those except transfinite ordinals isquite well-defined, with their products in the reals.Robinso(h)n's hyperreals don't much add to the analytical character ofthe real numbers.  The halos of infinitesimals about a point aresimply dense halos about them without defining, for example, theintuitive fluxions of Newton or for that matter iota-values, which isa term I use to describe the infinitesimals, as reals or elements ofthe continuum of reals, as sequence here from zero to one, dense andcontinuous and contiguous.  Then the hyperintegers are not muchdifferent than transfinite ordinals, for distinct infinite sequencesof elements of a finite alphabet, and the cumulative limit hierarchyof ordinals.Basically the iota-values have various characters from how manydimensions they are in or perspective.  On the line, the 1-D line, theelements we construct as rational approximations to be elements of thecomplete ordered field, are two-sided points on the line.  Theelements drawn as iota-values from one of the two-sided points asendpoint to the next are one-sided points on the line.  Then the iota-values as elements of the continuum see R as R^bar and R^dots, orR^crown (R^bar^dots, was R^bar^umlaut:  Re^bar).Then the reals of the real continuum satisfy at once being thecomplete ordered field and the ring of infinitesimals about theorigin, that in their infinite extent are the continuum, as theinfinite rational approximations are the continuum, of real numbers,pure and applied.That's from first principles.Regards,Ross Finlayson
```