Abstract
We consider structures A consisting of an abelian group with a subgroup A P distinguished by a 1-ary relation symbol P , and complete theories T of such structures. Such a theory T is ( κ , λ ) -categorical if T has models A of cardinality λ with ∣ A P ∣ = κ , and given any two such models A , B with A P = B P , there is an isomorphism from A to B which is the identity on A P . We classify all complete theories of such structures A in terms of the cardinal pairs ( κ , λ ) in which they are categorical. We classify algebraically the A of finite order λ with A P of order κ which are ( κ , λ )-categorical.
Sign-in/Register to access full text options 
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 callDisclaimer: 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.
