RCA0


RCA0 is a weakened form of second order arithmetic. It consists of the axioms of PA other than inductionMathworldPlanetmath, together with Σ10 -IND and Δ10 -CA.

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