is a weakened form of second order arithmetic. Its axioms include the axioms of PA together with arithmetic comprehension.
| Title | |
|---|---|
| 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 |