>Conway says in his book that "deep logical theorems show that >one could not [get hyperreals] in such a simple way". It's >easy to see this--Conway's construction doesn't need AC. Indeed, and I should have tempered what I said about Conway's system having much stronger closure properties than formal power series with the above caveat. Vaughan