$RC{A}_0$

$RC{A}_0$ is a weakened form of second order arithmetic. It consists of the axioms of PA other than induction, together with ${\mathrm{\Sigma }}_1^0$ -IND and ${\mathrm{\Delta }}_1^0$ -CA.

Title	$RC{A}_0$
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