[FOM] Variants of ACA

pax0 at seznam.cz pax0 at seznam.cz
Fri Nov 11 12:26:40 EST 2011


Is there a complete list of variants (together with definitions) of the second order fragment ACA.
There are quite a few of them, including
ACA^+,ACA_0,ACA,ACA^',ACA^*.
Thank you, Jan Pax


More information about the FOM mailing list