arXiv:1203.6299 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords real line, projective hierarchy, natural numbers defines multiplication, real numbers defines, non-quadratic irrational number Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset