Abstract

UDC 510.67 We present a complete description of ℵ0-categorical quite o-minimal theories introduced earlier as an extension of the class of o-minimal theories but “quite” inherited various their properties. Bibliography :6 titles. Let L be a countable first order language. Throughout the paper, we consider L-structures and assume that L contains a binary relation symbol < interpreted as a linear ordering in these structures. For arbitrary subsets A and B of a structure M we write A<B if a<b for a ∈ A and b ∈ B. For an arbitrary complete type p we denote by p(M ) the set of realizations of p in M . (∗)

Full Text
Paper version not known

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.