arXiv:math/0401307 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords first order theory, succinct definitions, binary logarithm sufficient, log-star upper bound, first order sentence Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset