FOM: axioms of infinity

[Stephen G Simpson]

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