FOM: axioms of infinity
Stephen G Simpson
simpson at math.psu.edu
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?
More information about the FOM