[FOM] What ZF knows about Arithmetic

[Ali Enayat]

Back in 2010, in response to a question of Joe Shipman about the
axiomatizabiity of the arithmetical  consequences of ZF, Robert
Solovay (March 25) and myself (March 17 and 22) independently provided
certain axiomatizations of the arithmetical consequences of ZF.

The purpose of this note is to point out that an axiomatization that
is similar to the ones provided by Solovay and myself already appears
in the following 50 year-old paper that I accidentally ran into
yesterday while looking for something else.

Lévy, Azriel, Axiomization of induced theories. Proc. Amer. Math. Soc.
12, 1961, pp. 251–253.

Best regards,

Ali Enayat