arXiv:1902.05533 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords recursively defined tree properties, quantifier alternation, alternating quantifier depth, express first order logical sentences, first order properties Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset