$\omega$-Stable Trigonometries on a Projective Plane

S. V. Sudoplatov

Matematičeskie trudy, Tome 5 (2002) no. 1, pp. 135-166.

Résumé

Using the well-known Hrushovski construction, we prove that, for every countable group $G$, there exists an $\omega$-stable trigonometry of the group $G\ast F_\omega$, where $F_\omega$ is the free group of countable rank, on a non-Desarguesian projective plane. We also suggest a new approach to constructing generic models.

Bibliographie

[1] Emelichev V. A., Melnikov O. I., Sarvanov V. I., Tyshkevich R. I., Lektsii po teorii grafov, Nauka, M., 1990

[2] Keisler Kh. Dzh., “Osnovy teorii modelei”, Spravochnaya kniga po matematicheskoi logike. Ch. 1: Teoriya modelei, Nauka, M., 1982, 55–108 | MR

[3] Sudoplatov S. V., “Trigonometrii na tochnoi psevdoploskosti”, Trudy Sovetsko-Frantsuzskogo kollokviuma po teorii modelei, Izd-vo KarGU, Karaganda, 1990, 185–201

[4] Sudoplatov S. V., “Ob otnoshenii vlozhimosti v klasse trigonometrii grupp”, Algebra i logika, 33:4 (1994), 429–447 | MR | Zbl

[5] Sudoplatov S. V., “O trigonometriyakh grupp na proektivnoi ploskosti”, Sib. mat. zhurn., 36:2 (1995), 419–431 | MR | Zbl

[6] Sudoplatov S. V., “O trigonometriyakh, ne vlozhimykh v trigonometrii s malymi teoriyami”, Issledovaniya v teorii algebraicheskikh sistem, Izd-vo KarGU, Karaganda, 1995, 103–110

[7] Sudoplatov S. V., “O trigonometriyakh konechnykh grupp i grupp s podgruppami, imeyuschimi trigonometrii”, Sib. mat. zhurn., 37:2 (1996), 419–423 | MR | Zbl

[8] Sudoplatov S. V., “Poligonometrii par grupp”, Sib. mat. zhurn., 38:4 (1997), 925–931 | MR | Zbl

[9] Sudoplatov S. V., “Chastichnye algebry, assotsiirovannye s poligonometriyami par grupp”, Algebra i logika, 36:4 (1997), 454–476 | MR | Zbl

[10] Sudoplatov S. V., “Chislo modelei teorii vsyudu konechno opredelennykh poligonometrii”, Sib. mat. zhurn., 40:3 (1999), 689–694 | MR | Zbl

[11] Sudoplatov S. V., “O klassifikatsii poligonometrii grupp”, Mat. trudy, 4:1 (2001), 174–202 | Zbl

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

[13] Baldwin J. T., “An almost strongly minimal non-Desarguesian projective plane”, Trans. Amer. Math. Soc., 342:2 (1994), 695–711 | DOI | MR | Zbl

[14] Baldwin J. T., Stable Amalgamation, Preprint. Dedicated to the memory of A. I. Mal'tsev, Univ. of Illinois at Chicago, Chicago, 2000

[15] Baldwin J. T., Itai M., “$K$-generic projective planes have Morley rank two or infinity”, Math. Logic Quarterly, 40:2 (1994), 143–152 | DOI | MR | Zbl

[16] Baldwin J. T., Shi N., “Stable generic structures”, Ann. Pure Appl. Logic, 79:1 (1996), 1–35 | DOI | MR | Zbl

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

[18] Hrushovski E., “A new strongly minimal set”, Ann. Pure Appl. Logic, 62 (1993), 147–166 | DOI | MR | Zbl

[19] Poizat V., Amalgames de Hrushovski. Une tentative de Classification, Preprint, Institut Girard Desargues, 2000

[20] Shelah S., Classification Theory and the Number of Nonisomorphic Models, 2nd rev. ed., North-Holland, Amsterdam, 1990 | MR | Zbl

[21] Sudoplatov S. V., “Group polygonometries and related algebraic systems”, Contributions to General Algebra 11, Proc. of the Olomouc Workshop'98 on General Algebra, Verlag Johannes Heyn, Klagenfurt, 1999, 191–210 | MR | Zbl