FOM: axioms of infinity

Stephen G Simpson simpson at
Thu Jul 20 12:19:27 EDT 2000

V. Yu. Shavrukov writes:
 > This is to point out that the conjecture
 > >any finitely axiomatizable theory with only infinite models must
 > >interpret one of a small finite number of such theories
 > appearing in a posting of Stephen Simpson is untrue ....

Ah, good, thanks for untangling this!

Now, what about the questions of Baldwin, Hazen, et al?  Can
explicitly exhibit a simple, short axiom of infinity that doesn't
interpret one of the three mentioned by Baldwin?

-- Steve

More information about the FOM mailing list