Constructive models of uncountably categorical theories

Herwig, Bernhard; Lempp, Steffen; Ziegler, Martin

doi:10.1090/S0002-9939-99-04920-5

Constructive models of uncountably categorical theories
HTML articles powered by AMS MathViewer

by Bernhard Herwig, Steffen Lempp and Martin Ziegler

Proc. Amer. Math. Soc. 127 (1999), 3711-3719

DOI: https://doi.org/10.1090/S0002-9939-99-04920-5

Published electronically: May 6, 1999

PDF | Request permission

Abstract:

We construct a strongly minimal (and thus uncountably categorical) but not totally categorical theory in a finite language of binary predicates whose only constructive (or recursive) model is the prime model.

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
J. T. Baldwin and A. H. Lachlan, On strongly minimal sets, J. Symbolic Logic 36 (1971), 79–96. MR 286642, DOI 10.2307/2271517
Ebbinghaus, H.-D. and Flum, J., Finite model theory, Perspectives in Mathematical Logic, Springer-Verlag, Berlin, 1995.
S. S. Gončarov, Constructive models of $\aleph _{1}$-categorical theories, Mat. Zametki 23 (1978), no. 6, 885–888 (Russian). MR 502056
Leo Harrington, Recursively presentable prime models, J. Symbolic Logic 39 (1974), 305–309. MR 351804, DOI 10.2307/2272643
N. G. Hisamiev, Strongly constructive models of a decidable theory, Izv. Akad. Nauk Kazah. SSR Ser. Fiz.-Mat. 1 (1974), 83–84, 94 (Russian). MR 0354344
A. A. Ivanov, The problem of finite axiomatizability for strongly minimal theories of graphs, and groups with more than one end, Algebra i Logika 28 (1989), no. 2, 160–173, 244 (Russian); English transl., Algebra and Logic 28 (1989), no. 2, 108–116 (1990). MR 1065646, DOI 10.1007/BF01979374
A. A. Ivanov, The problem of finite axiomatizability for strongly minimal theories of graphs, Algebra i Logika 28 (1989), no. 3, 280–297, 366 (Russian); English transl., Algebra and Logic 28 (1989), no. 3, 183–194 (1990). MR 1066316, DOI 10.1007/BF01978722
Khoussainov, B., Nies, A., and Shore, R. A., Recursive models of theories with few models (to appear).
Julia F. Knight, Degrees coded in jumps of orderings, J. Symbolic Logic 51 (1986), no. 4, 1034–1042. MR 865929, DOI 10.2307/2273915
K. Ž. Kudaĭbergenov, Constructivizable models of undecidable theories, Sibirsk. Mat. Zh. 21 (1980), no. 5, 155–158, 192 (Russian). MR 592228
Michael Morley, Categoricity in power, Trans. Amer. Math. Soc. 114 (1965), 514–538. MR 175782, DOI 10.1090/S0002-9947-1965-0175782-0
Joseph J. Rotman, An introduction to the theory of groups, 4th ed., Graduate Texts in Mathematics, vol. 148, Springer-Verlag, New York, 1995. MR 1307623, DOI 10.1007/978-1-4612-4176-8