arXiv:1812.08732 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords ordered structures, uniform one-dimensional fragment u1, logic u1 enables, finite satisfiability problems, built-in linear orders Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset