Arithmetical transfinite recursion

http://dbpedia.org/resource/Arithmetical_transfinite_recursion

rdf:langString Arithmetical transfinite recursion
xsd:integer 24658828
xsd:integer 610152194
xsd:nonNegativeInteger 72
<http://dbpedia.org/resource/Reverse_mathematics>
<http://dbpedia.org/resource/Reverse_mathematics>
<http://en.wikipedia.org/wiki/Arithmetical_transfinite_recursion?oldid=610152194&ns=0>
<http://en.wikipedia.org/wiki/Arithmetical_transfinite_recursion>

data from the linked data cloud