[FOM] Koenigsmann's universal definition of Z in Q

[Sylvy Anscombe]

Dear all,

My understanding is that there is a particular polynomial that can be
found in principal if you're willing to chase it through. I think the
number of quantifiers (i.e. n) is in the hundreds, but I may be
mistaken/out-of-date.

Best wishes,

Sylvy

----------------

Sylvy Anscombe

homepage: anscombe.sdf.org
e-mail: sylvy.anscombe at gmail.com