In article <email@example.com>, mike3 <firstname.lastname@example.org> wrote:
> On May 13, 8:17 pm, Virgil <vir...@ligriv.com> wrote: > > In article > > <bf23b508-9d6c-459b-b797-5022f1dd0...@tz3g2000pbb.googlegroups.com>, > > > > mike3 <mike4...@yahoo.com> wrote: > > > Hi. > > > > > I'm curious about this. The "Archimedean property" for an _ordered_ > > > field F means that given any positive elements a and b in F, with a < > > > b, then there exists a natural number n such that na < b. > > > > Not quite as stated above. > > > > Given 0 < a < b there must be some natural n such that na > b. > > > > But if a is negative, one will have na < b for all naturals n. > > > > The standard ordered field of reals and all of of its subfields have > > the property, but fields with infinitesimal elements do not. > > -- > > Correct. I made a mistake/typo: it should be "na > b".