Arithmetical transfinite recursion
Home
Wiki
Redirect to:
Reverse mathematics#Arithmetical transfinite recursion ATR0