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