arXiv:1612.06525 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords axiomatizing mathematical theories, multiplication, classical theorems, open questions, remain open Tags conference paper, journal article Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset