arXiv:math/0105136 [math.LO]AbstractReferencesReviewsResources Classifications Subjects Themes Keywords model companion, finite cover property, complete first order theory, admits obstructions, unary function symbol sigma Tags Journal Information Publisher Journal Year Month Volume Number Pages DOI URL Miscellaneous Typesetting Pages Language License Submit Reset