Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Classification of countable models of complete theories. Р.1. Monograph in two parts

.pdf
Скачиваний:
0
Добавлен:
06.09.2026
Размер:
2 Мб
Скачать
REFERENCES
[436]
Sudoplatov
ories / S. V. Sudoplatov // Siberian Electronic Mathematical Re- ports. | 2017. | Vol. 14. | P. 980{985.
[437]
Sudoplatov S. V.
theories: popular and philosophical aspects / S. V. Sudoplatov // Algebra and Model Theory 11. Collection of papers / eds.: A. G. Pinus, E. N. Poroshenko, S. V. Sudoplatov, and E. I. Tim- oshenko. | Novosibirsk : NSTU, 2017. | P. 141{153.
[438]
Sudoplatov S. V.
Powerful digraphs / S. V. Sudoplatov. | Novosibirsk, 2017. | 32 p. | (Preprint). [in Russian]
[439]
Sudoplatov S. V.
models / S. V. Sudoplatov. | Novosibirsk, 2017. | 31 p. | (Preprint). [in Russian]
[440]
Sudoplatov S. V.
homogeneous models / S. V. Sudoplatov. | Novosibirsk, 2017. | 41 p. | (Preprint). [in Russian]
S. V.
On semilattices and lattices for families of the-
Classication of countable models of complete
Small stable generic graphs with innite weight.
Stable theories with nitely many countable
Ehrenfeucht theories with countable non-almost
301
[441]
Sudoplatov S. V.
S. V. Sudoplatov, Y. Kiouvrekis, P. Stefaneas // Algebraic Mod- eling of Topological and Computational Structures and Applica- tions. THALES, Athens, Greece, July 1-3, 2015 / Springer Proc. in Math. & Statist., 219 / eds.: S. Lambropoulou et al. | Berlin: Springer Int. Publ., 2017. | P. 375{398.
[442]
Sudoplatov S. V.
platov // Reports of Irkutsk State University. Series \Mathemat- ics". | 2017. | Vol. 22. | P. 106{117.
[443]
Sudoplatov S. V.
equivalence and elementary embeddability // Bulletin of Kara- ganda University. Series \Mathematics". | 2018. (to appear)
[444]
Sudoplatov S. V.
joint unions of Ehrenfeucht theories / S. V. Sudoplatov // arXiv:1802.09364v1 [math.LO]. | 2018. | 12 p.
[445]
Sudoplatov S. V.
S. V. Sudoplatov. | Novosibirsk, 2018. | 21 p. | (Preprint).
Generic constructions and generic limits /
Generations of generative classes / S. V. Sudo-
On generic structures preserving elementary
Distributions of countable models of dis-
Generative classes and their restrictions /
302
[446]
Svenonius
L. Svenonius // Theoria (Lund). | 1959. | Vol. 25. | P. 82{94.
[447]
Tanovic P.
stable theories with no dense forking chains / P. Tanovic // Pub- licationes de l'Institute Mathematique. Nouvelle serie. | 1995. | Vol. 57. | P. 189{195.
[448]
Tanovic P.
P. Tanovic // Fund. Math. | 2001. | Vol. 169. | P. 139{144.
[449]
Tanovic P.
P. Tanovic // Archive for Math. Logic. | 2002. | Vol. 41, No. 7. | P. 669{671.
[450]
Tanovic P.
P. Tanovic // Archive for Math. Logic. | 2006. | Vol. 45, No. 4. | P. 423{430.
[451]
Tanovic P.
P. Tanovic // Archive for Math. Logic. | 2007. | Vol. 46, No. 5{6. | P. 517{527.
L.
ℵ0-categoricity in rst order predicate calculus /
There are innitely many countable models of strictly
On the number of countable models of stable theories /
A note on countable models of 1-based theories /
On constants and the strict order property /
Theories with constants and three countable models /
REFERENCES
[452]
Tanovic P.
Archive for Math. Logic. | 2010. | Vol. 49, No. 3. | P. 367{
377.
[453]
Tanovic P.
Pure and Appl. Logic. | 2011. | Vol. 162, No. 11. | P. 948{957.
[454]
Tanovic P.
P. Tanovic // Archive for Math. Logic. | 2013. | Vol. 52, No. 7{
8. | P. 779{791.
[455]
Tent K.
rank / K. Tent // J. London Math. Soc. | 2000. | Vol. 62, No. 1. | P. 1{15.
[456]
Tent K.
M. Ziegler // J. London Math. Society. | 2013. | Vol. 87, No. 1. | P. 289{303.
[457]
Tent K.
K. Tent // J. Symbolic Logic. | 2014. | Vol. 79. | P. 410{428.
Asymmetric
Minimal rst-order structures / P. Tanovic // Ann.
Simple groups and the number of countable models /
Very homogeneous generalizedn-gons of Finite Morley
On the isometry group of the Urysohn space / K. Tent,
The free pseudospace isn-ample, but not
RK
-minimal types / P. Tanovic //
(n+ 1)
-ample /
REFERENCES
[458]
T
ent K.
// Munster : Universitat Munster, 2012. | 8 p. | (Preprint).
[459]
Thomas S.
J. Symbol. Logic. | 1986. | Vol. 51. | P. 374{376.
[460]
Tsuboi A.
countable models / A. Tsuboi // J. Symbolic Logic. | 1985. | Vol. 50, No. 3. | P. 806{808.
[461]
Tsuboi A.
// J. Math. Soc. Japan. | 1986. | Vol. 38, No. 3. | P. 501{508.
[462]
Tsuboi A.
countable models / A. Tsuboi // Proceedings of the 7th and 8th Asian Logic Conferences: Hsi-Tou, Taiwan, 6-10 June 1999: Chongquing, China 29 August-2 September 2002 / eds.: R. Downey, D. Decheng, T. Sh. Ping, Q. Yu Hui, M. Yasugi, G. Wu. | Singapore : Singapore University Press, World Sci- entic, 2003. | P. 398{408.
[463]
Tsuboi A.
A. Tsuboi // RIMS K^oky^uroku 1708 : Model Theory and Its Ap- plication to Algebra, November 10{12, 2008 / ed. K. Tanaka. | Kyoto : Research Institute for Mathematical Sciences, Kyoto Uni- versity, 2010. | P. 29{34.
A non-desarguesian projective plane / K. Tent, B. Zilber
Theories with nitely many models / S. Thomas //
On theories having a nite number of nonisomorphic
Countable models and unions of theories / A. Tsuboi
A problem on theories with a nite number of
Algebraic types and the number of countable models /
303
[464]
Valizadeh A.
AC Generic Structures / A. Valizadeh, M. Pourmahdian // arXiv:1606.05750v1 [math.LO]. | 2016. | 23 p.
[465]
Vaught R.
// Innistic Methods. | London : Pergamon, 1961. | P. 303{321.
[466]
Verbovskiy V. V.
els / V. V. Verbovskiy // Model Theory in Kazakhstan, Collec- tion of papers devoted to the memory of A. D. Taimanov / ed. M. M. Erimbetov. | Almaty : Eco Study, 2006. | 456 p. | P. 38{52.
[467]
Verbovskiy V. V.
V. V. Verbovskiy, I. Yoneda // Ann. Pure and Appl. Logic. |
2003. | Vol. 122, No. 1{3. | P. 175{194.
Some Model Theoretic Properties of Non-
Denumerable models of complete theories / R. Vaught
On elimination of imaginaries for generic mod-
CM-triviality and relational structures /
304
[468]
V
ershik A. M.
ric spaces and nite approximation of the group of isometries of Urysohn space / A. M. Vershik. | Saint-Pererburg : POMI,
2005. | (Preprint).
[469]
Vershik A. M.
ric spaces and local approximation of the group of isometries of Urysohn space / A. M. Vershik // Topology and its Applica- tions. | 2008. | Vol. 155, No. 14. | P. 1618{1626.
[470]
Villaveces A.
tary classes / A. Villaveces, P. Zambrano. | Bogota : Universidad Nacional de Colombia, 2005. | 20 p. | (Preprint).
[471]
Wagner F. O.
// Automorphisms of rst order structures. | Oxford : Clarendon Press, 1994. | P. 153{181.
[472]
Wagner F. O.
ner // Logic Colloquium 2006. Ass. Symb. Logic LN Logic 32 / eds.: S. B. Cooper et al. | Cambridge : Cambridge University Press, 2009. | P. 361{373.
Extensions of the partial isometries of the met-
Globalization of the partial isometries of met-
Hrushovski constructions and tame abstract elemen-
Relational strucrures and dimensions / F. Wagner
Hrushovski's amalgamation construction / F. Wag-
REFERENCES
[473]
Wagner F. O.
their denable groups / F. Wagner // New developments of inde- pendence notions in model theory / ed. M. Itai. | Kyoto : Kyoto University, 2010. | P. 27{40.
[474]
Wencel R.
tures / R. Wencel // J. Symbolic Logic. | 2002. | Vol. 67, No. 4. | P. 1385{1390.
[475]
Woodrow R. E.
three isomorphism types of countable models / R. E. Woodrow // J. Symbolic Logic. | 1976. | Vol. 41, No. 3. | P. 672{680.
[476]
Woodrow R. E.
els / R. E. Woodrow // J. Symbolic Logic. | 1978. | Vol. 43, No. 3. | P. 442{455.
[477]
Yoneda I.
Archive for Math. Logic. | 2003. | Vol. 42, No. 5. | P. 423{433.
Fields and Fusion: Hrushovski constructions and
Small theories of Boolean orderedo-minimal struc-
A note on countable complete theories having
Theories with a nite number of countable mod-
CM-triviality and generic structures / I. Yoneda //
REFERENCES
[478]
Zie
gler M.
M. Ziegler // Model theory with Applications to Algebra and Analysis. Vol. 1. London Math. Soc. LN 350 / eds.: Z. Chatzi- dakis et al. | Cambridge : Cambridge University Press, 2008. | P. 225{248.
[479]
Ziegler M.
mal Set / M. Ziegler // Ann. Pure and Appl. Logic. | 2013. | Vol. 164, No. 12. | P. 1507{1519.
[480]
Zil'ber B.
ford : Oxford University, 2000. | 38 p. | (Preprint).
[481]
Zil'ber B.
B. Zilber // Logic and Algebra. Contemporary Mathematics / ed. Yi Zhang. | 2002. | Vol. 302. | P. 85{100.
[482]
Zil'ber B.
// J. Symbolic Logic. | 2004. | Vol. 69, No. 4. | P. 1171{1186.
[483]
Zil'ber B.
Fusion of structures of nite Morley rank /
An exposition of Hrushovski's New Strongly Mini-
Fields with pseudo-exponentiation / B. Zilber. | Ox-
A theory of a generic function with derivations /
Bi-coloured elds on the complex numbers / B. Zilber
The theory of exponential sums / B. Zilber //
arXiv:1501.03297v1 [math.LO]. | 2015. | 31 p.
305
[484]
Zil'ber B.
Model theory of special subvarieties and Schanuel-type conjectures / B. Zilber // arXiv:1501.03301v1 [math.LO]. | 2015. | 31 p.
[485]
Zucker A.
Topological Dynamics of Closed Subgroups of
S∞/ A. Zucker // arXiv:1404.5057v2 [math.LO]. | 2014. |
31 p.
Index
of names
Alaev P. E., 9, 54 Alibek A., 14 Anbo Yu., 17 Andrews U., 9, 11, 13, 16 Angel O., 18 Aref'ev R. D., 17 Ash C. J., 14
Baikalova K. A., 9, 21, 22 Baisalov E. R., 9, 12 Baizhanov B. S., 9, 11, 12, 14, 20,
27, 31, 43, 78
Baldwin J. T., 9, 11, 15{17, 22,
38, 114, 118, 120, 131{133,
137, 140, 141, 150, 244 Bataev A. A., 10 Baudisch A., 16{18, 147, 150 Bekenov M. I., 9 Belegradek O. V., 9, 11, 95 Ben Yaacov I., 17 Benda M., 7, 11, 15, 25 Bhat V., 18 Bilge D., 18 Bodirsky M., 18 Bonato A. C. J., 17
Bouscaren E., 9, 11, 94 Buechler S., 11, 12
Calvert W., 14 Cameron P. J., 18 Casanovas E., 9, 18, 20, 43 Caycedo J. D., 17 Chajda I., 9 Chang C. C., 11, 22 Chapuis O., 17 Chatzidakis Z., 15, 17 Cherlin G., 18 Cliord A. H., 23 Conant G., 18 Csima B. F., 18
Daniyarova E. Yu., 18 de Bonis M. J., 17 Denisov V. I., 10
Eagle C. J., 18
INDEX
OF NAMES
307
Ehrenfeucht A., 6, 13, 14, 46 Emel'yanov D. Yu., 9, 21 Engeler E., 13 Ershov Yu. L., 8, 9, 11, 22 Evans D. M., 17
Farah I., 18 Ferreira M. S., 17 Fokina E. B., 14 Frasse R., 16
Garavaglia S., 12 Gavryushkin A. N., 14 Ghadernezhad Z., 16{18 Goncharov S. S., 7, 8, 11, 14, 22 Goode J. B., 17 Guingona V., 17
Hodges W., 11, 22 Holland K., 16, 17, 147, 151 Hrushovski E., 6, 7, 9, 11, 15{17, 147, 150 Hubicka J., 17, 18
Ikeda K., 9, 11, 14, 17, 74 Ilic D., 14 Ivanov A. A., 9, 18
Jonsson B., 16
Kabluchko Z., 18 Kach A. M., 13 Kadets B., 18 Kalashnyk V., 18 Kaplan I., 18
Harary F., 23 Harizanov V. S., 14, 18 Harnik V., 143 Harrington L., 12, 143 Hart B., 6, 11, 12, 18 Hasson A., 17, 147, 151 Henson C. W., 18 Herwig B., 7, 8, 11, 15, 17, 95 Hill C. D., 9, 17 Hils M., 16, 17, 147, 151 Hjorth G., 18
Kechris A. S., 18 Keisler H. J., 11, 22 Khalilian H., 18 Khisamiev N. G., 9 Khusainov B., 11, 14 Kikyo H., 17 Kim B., 7, 9, 11, 15{17, 42, 103, 108{110 Kiouvrekis Y., 9, 21 Knight J. F., 9, 14 Knight R. W., 9, 12 Koerwien M., 16
308
INDEX
OF NAMES
Koiran P., 17 Kolesnikov A. S., 16, 17 Komjath P., 18 Kruckman A., 18 Kubis W., 18 Kudaibergenov K. Zh., 11, 117, 126 Kueker D. W., 17 Kulpeshov B. Sh., 9, 21, 27, 91
Lachlan A. H., 7, 11, 15, 16, 18, 244 Lascar D., 7, 9, 11, 15{17, 22 Laskowski M. S., 6, 11, 16, 17 Lemeshko B. Yu., 10 Lempp S., 9, 14 Loveys J., 11, 15 Low L. F., 11, 12
Melleray J., 18 Melnikov A. G., 14 Mermelstein O., 17 Millar T. S., 9, 12{14, 25 Miller A., 12 Miller R., 18 Miller S., 14 Moconja S., 14 Montalban A., 18 Morley M., 11, 12, 14 Morozov A. S., 9, 12 Mustan T. G., 7, 9, 12, 15 Muller I., 18 Myasnikov A. G., 18
Nesetril J., 17, 18
Nesin A., 17 Lupini M., 18 Lyapin E. S., 23 Lyons R., 18
MacPherson H. D., 17, 18 Makkai M., 12 Mal'tsev A. I., 8, 94 Marcus L., 12 Martin-Pizarro A., 16, 17, 147, 150 Masumoto Sh., 18 Mayer L. L., 12, 14, 50 Mazucco M., 17
Newelski L., 9, 12
Nies A., 11, 14
Nurmagambetov T. A., 9
Omarov B., 7, 9, 12, 13
Omarova G. A., 14
Ore O., 23
Ovchinnikova E. V., 9, 21{23
Palyutin E. A., 9, 11, 12, 21, 22,
54, 55
Pantano M. E., 17
INDEX
OF NAMES
309
Paolini G., 17 Pavlyuk In. I., 9, 21 Peateld N., 17 Pelaez R., 18 Peretyat'kin M. G., 7, 12{14, 26, 46, 95 Pestov V. G., 18 Pillay A., 7, 9, 11{17, 22, 27, 28, 30, 42, 67, 68, 74 Pinsker M., 18 Pinus A. G., 9, 156 Poizat B. P., 9, 11, 17, 22, 94, 150 Pongracz A., 18 Ponomaryov K. N., 9 Popkov R. A., 9, 22 Pourmahdian M., 7, 11, 14, 15, 17, 18
Rodl V., 18
Rudin M. E., 16
Rusaleev M. A., 9
Ryaskin A. N., 9, 12
Ryll-Nardzewski C., 12, 13, 24
Sacks G. E., 11, 13, 22
Sae J., 7, 12, 15, 54, 55
Schmerl J. H., 13, 18
Schoretsanitis K., 18
Scott D. S., 14
Scow L., 9, 17
Shelah S., 6, 7, 11, 12, 15{18, 22
Shi N., 17, 18, 114, 120, 131{133,
140, 141
Shore R. A., 11, 14
Shulepov I. V., 9 Pouzet M. , 18 Preston G. B., 23 Puninskaya V. A., 12 Pustovoi N. V., 10 Puzarenko V. G., 9, 18
Rajani R., 17 Reed R., 12, 14 Reiher C., 18 Remeslennikov V. N., 9, 18 Rezniko I., 18 Rosendal C., 18
Simon P., 18
Siniora D. N., 18
Slaman T., 14
Slutsky K., 18
Sokic M., 18
Solecki S., 18
Souldatos I. A., 18
Starchenko S. S., 9, 11, 12, 54, 55
Steel J., 12
Stefaneas P., 9, 21
Steinhorn Ch., 9
Stepanova A. A., 9
310
INDEX
OF NAMES
Stukachev A. I., 18 Sudoplatov S. V., 16, 20{23, 43, 74, 91 Svenonius L., 13
Taimanov A. D., 9 Tallgren L., 18 Tanovic P., 7, 9, 11{15, 21, 37, 42, 43, 95 Tazabekova N. S., 12 Tent K., 17, 18, 22 Terry C., 18 Thomas S., 12, 13 Timofeev V. S., 10 Timoshenko E. I., 10 Todorcevic S., 18 Toalori C., 12 Tsankov T., 18 Tsuboi A., 7, 9, 11, 12, 14, 15, 17,
Verbovskiy V. V., 9, 16, 17, 20, 43
Vershik A. M., 18
Vikent'ev A. A., 7, 9, 15
Villaveces A., 17
Vlasov D. Yu., 9
Vostretsov A. G., 10
Vostrikov A. S., 10
Wagner F. O., 9, 11, 15, 17, 22
Wencel R., 14
Wilkie A., 9
Wing Ho Wong M., 17
Woodrow R. E., 7, 9, 12{14, 18,
49, 74, 77
Yerimbetov M. M., 9
Yershigeshova A. D., 12
Yeshkeyev A. R., 9
Yoneda I., 17
19, 38, 74, 106, 108, 109 Tussupov J. A., 9
Valeriote M., 11, 12 Valizadeh A., 17 Vassiliev E. V., 9 Vaught R., 12, 13
Zambarnaya T. S., 12, 14
Zambrano P., 17
Ziegler M., 9, 16{18, 22, 147, 151
Zil'ber B. I., 9, 17
Zucker A., 18
Zykov A. A., 23