ACA0 is a weakened form of second order arithmetic. Its axioms include the axioms of PA together with arithmeticPlanetmathPlanetmath comprehension.

Title ACA0
Canonical name ACA0
Date of creation 2013-03-22 12:57:03
Last modified on 2013-03-22 12:57:03
Owner Henry (455)
Last modified by Henry (455)
Numerical id 4
Author Henry (455)
Entry type Definition
Classification msc 03F35
Synonym ACA
Synonym ACA0