[FOM] E...EAA-completeness of ZF
parlamen at dimi.uniud.it
Fri Jun 16 07:05:52 EDT 2006
Concerning the "promising attacks on the A...AEE and E...EAA cases"
mentioned by Harvey Friedman in his [FOM] 196:Quantifier complexity
in set theory Nov 6 2003, I wish to inform the interested fomers
that the completeness of ZF for E...EAA-sentences (equiv. for
A...AEE-sentences)is proved in the paper "Truth in V for E...EAA-senteces is
decidable", by Dorella Belle' and myself, to appear in the JSL,
which is available at http://www.dimi.uniud.it/~belle.
More information about the FOM