Hypergraphs of prime models and distributions of countable models of small theories

S. V. Sudoplatov

Fundamentalʹnaâ i prikladnaâ matematika, Tome 15 (2009) no. 7, pp. 179-203.

Résumé

Hypergraphs of prime models over realizations of types in small theories are defined. On the basis of graph structures of models of small theories, hierarchies of sets in these hypergraphs, revealing structural connections in countable models of small theories, are established. The key role of graph-theoretic objects in constructions of Ehrenfeucht theories is proved. Using hypergraph constructions, a classification of complete first-order theories with finite Rudin–Keisler preorders is generalized to the class of all small theories.

Bibliographie

[1] Peretyatkin M. G., “O polnykh teoriyakh s konechnym chislom schëtnykh modelei”, Algebra i logika, 12:5 (1973), 550–576

[2] Peretyatkin M. G., “Teorii s tremya schëtnymi modelyami”, Algebra i logika, 19:2 (1980), 224–235 | MR

[3] Dzh. Barvais (red.), Spravochnaya kniga po matematicheskoi logike. Ch. 1. Teoriya modelei, Nauka, M., 1982 | MR

[4] Sudoplatov S. V., “Ob atsiklicheskikh gipergrafakh minimalnykh prostykh modelei”, Sib. mat. zhurn., 42:6 (2001), 1408–1412 | MR | Zbl

[5] Sudoplatov S. V., “Polnye teorii s konechnym chislom schëtnykh modelei. I”, Algebra i logika, 43:1 (2004), 110–124 | MR | Zbl

[6] Sudoplatov S. V., “Polnye teorii s konechnym chislom schëtnykh modelei. II”, Algebra i logika, 45:3 (2006), 314–353 | MR | Zbl

[7] Sudoplatov S. V., “Vlastnye orgrafy”, Sib. mat. zhurn., 48:1 (2007), 205–213 | MR | Zbl

[8] Sudoplatov S. V., “O chisle schëtnykh modelei polnykh teorii s konechnymi predporyadkami Rudina–Keislera”, Sib. mat. zhurn., 48:2 (2007), 417–422 | MR | Zbl

[9] Sudoplatov S. V., “Sintaksicheskii podkhod k postroeniyu genericheskikh modelei”, Algebra i logika, 46:2 (2007), 244–268 | MR | Zbl

[10] Sudoplatov S. V., Ovchinnikova E. V., Diskretnaya matematika, INFRA-M, M.; Izd-vo NGTU, Novosibirsk, 2009

[11] Baldwin J. T., Lachlan A. H., “On strongly minimal sets”, J. Symb. Logic, 36:1 (1971), 79–96 | DOI | MR | Zbl

[12] Herwig B., “Weight $\omega$ in stable theories with few types”, J. Symb. Logic, 60:2 (1995), 353–373 | DOI | MR | Zbl

[13] Kim B., “On the number of countable models of a countable supersimple theory”, J. London Math. Soc., 60:2 (1999), 641–645 | DOI | MR | Zbl

[14] Lachlan A. H., “On the number of countable models of a countable superstable theory”, Proc. Int. Cong. Logic, Methodology and Philosophy of Science, North-Holland, Amsterdam, 1973, 45–56 | MR

[15] Morley M., “The number of countable models”, J. Symb. Logic, 35 (1970), 14–18 | DOI | MR | Zbl

[16] Pillay A., “Stable theories, pseudoplanes and the number of countable models”, Ann. Pure Appl. Logic, 43:2 (1989), 147–160 | DOI | MR | Zbl

[17] Shelah S., Classification Theory and the Number of Non-Isomorphic Models, Stud. Logic Foundations Math., 92, North-Holland, Amsterdam, 1990 | MR | Zbl

[18] Tanović P., “On constants and the strict order property”, Arch. Math. Logic, 45:4 (2006), 423–430 | DOI | MR | Zbl

[19] Tanović P., “Theories with constants and three countable models”, Arch. Math. Logic, 46:5–6 (2007), 517–527 | DOI | MR | Zbl

[20] Tsuboi A., “Countable models and unions of theories”, J. Math. Soc. Japan, 38:3 (1986), 501–508 | DOI | MR | Zbl

[21] Vaught R., “Denumerable models of complete theories”, Infinistic Methods, Pergamon, London, 1961, 303–321 | MR