Totally categorical structures
HTML articles powered by AMS MathViewer
- by Ehud Hrushovski
- Trans. Amer. Math. Soc. 313 (1989), 131-159
- DOI: https://doi.org/10.1090/S0002-9947-1989-0943605-1
- PDF | Request permission
Abstract:
A first order theory is totally categorical if it has exactly one model in each infinite power. We prove here that every such theory admits a finite language, and is finitely axiomatizable in that language, modulo axioms stating that the structure is infinite. This was conjectured by Vaught. We also show that every ${\aleph _0}$-stable, ${\aleph _0}$-categorical structure is a reduct of one that has finitely many models in small uncountable powers. In the case of structures of disintegrated type we nearly find an explicit structure theorem, and show that the remaining obstacle resides in certain nilpotent automorphism groups.References
- Gisela Ahlbrandt and Martin Ziegler, Quasi-finitely axiomatizable totally categorical theories, Ann. Pure Appl. Logic 30 (1986), no. 1, 63–82. Stability in model theory (Trento, 1984). MR 831437, DOI 10.1016/0168-0072(86)90037-0 G. Cherlin, Quasi-finite axiomatizability of structures of modular type, preprint.
- G. Cherlin, L. Harrington, and A. H. Lachlan, $\aleph _0$-categorical, $\aleph _0$-stable structures, Ann. Pure Appl. Logic 28 (1985), no. 2, 103–135. MR 779159, DOI 10.1016/0168-0072(85)90023-5
- R. L. Graham, K. Leeb, and B. L. Rothschild, Ramsey’s theorem for a class of categories, Proc. Nat. Acad. Sci. U.S.A. 69 (1972), 119–120. MR 306009, DOI 10.1073/pnas.69.1.119
- Graham Higman, Ordering by divisibility in abstract algebras, Proc. London Math. Soc. (3) 2 (1952), 326–336. MR 49867, DOI 10.1112/plms/s3-2.1.326 E. Hrushovski, Doctoral dissertation, Univ. of California, Berkeley, 1986.
- A. H. Lachlan, Structures coordinatized by indiscernible sets, Ann. Pure Appl. Logic 34 (1987), no. 3, 245–273. Stability in model theory (Trento, 1984). MR 899082, DOI 10.1016/0168-0072(87)90003-0 A. Pillay and E. Hrushovski, Weakly normal groups, ASL Orsay Conf. proceedings, 1985.
- Simon Thomas, Groups acting on infinite-dimensional projective spaces, J. London Math. Soc. (2) 34 (1986), no. 2, 265–273. MR 856510, DOI 10.1112/jlms/s2-34.2.265
- B. I. Zil′ber, Strongly minimal countably categorical theories. II, Sibirsk. Mat. Zh. 25 (1984), no. 3, 71–88 (Russian). MR 746943
Bibliographic Information
- © Copyright 1989 American Mathematical Society
- Journal: Trans. Amer. Math. Soc. 313 (1989), 131-159
- MSC: Primary 03C45; Secondary 03C35
- DOI: https://doi.org/10.1090/S0002-9947-1989-0943605-1
- MathSciNet review: 943605