Добавил:
ivanov666
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Classification of countable models of complete theories. Р.1. Monograph in two parts
.pdf
REFERENCES
[336]
Per
etyat'kin M. G.
M. G. Peretyat'kin // Algebra and Logic. | 1980. | Vol. 19,
No. 2. | P. 139{147.
[337]
Pillay A.
Logic. | 1978. | Vol. 43, No. 3. | P. 492{496.
[338]
Pillay A.
ories with algebraic prime models / A. Pillay // J. Symbolic
Logic. | 1980. | Vol. 45, No. 2. | P. 302{310.
[339]
Pillay A.
Proc. Amer. Math. Soc. | 1980. | Vol. 80, No. 3. | P. 461{468.
[340]
Pillay A.
tensions of a model / A. Pillay // J. Symbolic Logic. | 1982. |
Vol. 47, No. 1. | P. 147{160.
[341]
Pillay A.
Amer. Math. Soc. | 1983. | Vol. 89, No. 4. | P. 666{672.
[342]
Pillay A.
A. Pillay // Ann. Pure and Appl. Logic. | 1986. | Vol. 36,
No. 1. | P. 95{101.
Number of countable models / A. Pillay // J. Symbolic
Theories with exactly three countable models and the-
Instability and theories with few models / A. Pillay //
Dimension theory and homogeneity for elementary ex-
Countable models of stable theories / A. Pillay // Proc.
Superstable groups of nite rank without pseudoplanes /
Theories with three countable models /
291
[343]
Pillay A.
C. Steinhorn // Trans. Amer. Math. Soc. | 1986. | V. 295,
No. 2. | P. 565{592.
[344]
Pillay A.
able models / A. Pillay // Ann. Pure and Appl. Logic. | 1989. |
Vol. 43, No. 2. | P. 147{160.
[345]
Pillay A.
Dame : University of Notre Dame, 1989. | 5 p. | (Preprint).
[346]
Pillay A.
Archive for Math. Logic. | 1992. | Vol. 31, No. 3. | P. 163{170.
[347]
Pillay A.
A. Tsuboi // J. Symbolic Logic. | 1997. | Vol. 62, No. 4. |
P. 1070{1074.
Denable sets in ordered structures, I / A. Pillay ,
Stable theories, pseudoplanes and the number of count-
A note on one-based theories / A. Pillay. | Notre
Countable models of 1-based theories / A. Pillay //
Amalgamations preservingω-categoricity / A. Pillay,
292
[348]
Poizat
Logic. | 1991. | Vol. 56, No. 2. | P. 624{631.
[349]
Poizat B.
1999. | Vol. 64, No. 3. | P. 1339{1355.
[350]
Poizat B.
2001. | Vol. 66, No. 4. | P. 1647{1676.
[351]
Poizat B.
tion / B. Poizat // Tits buildings and the model theory of groups
(Wurzburg, 2000). London Math. Soc. Lecture Notes Ser., 291. |
Cambridge : Cambridge Univ. Press, 2002. | P. 195{214.
[352]
Popkov R. A.
ories of unary predicates with a substitution of a bounded order /
R. A. Popkov // Algebra and Model Theory 8. Collection of pa-
pers / eds.: A. G. Pinus, K. N. Ponomaryov, S. V. Sudoplatov,
and E. I. Timoshenko. | Novosibirsk : NSTU, 2011. | P. 73{82.
by group operation / R. A. Popkov // Vestnik Karagandinskogo
Universiteta. Series \Mathematics". | 2013. | Vol. 69, No. 1. |
P. 81{85. [in Russian]
B.
Some trivial considerations / B. Poizat // J. Symbolic
Le carre de l'egalite / B. Poizat // J. Symbolic Logic. |
L'egalite au cube / B. Poizat // J. Symbolic Logic. |
Amalgames de Hrushovski. Une tentative de classica-
Classication of countable models for complete the-
REFERENCES
[354]
Popkov R. A.
the class of theories with continuum many types / R. A. Popkov,
S. V. Sudoplatov // Reports of Irkutsk State University. Series
\Mathematics". | 2013. | Vol. 6, No 2. | P. 48{57. [in Russian]
[355]
Popkov R. A.
of additive group of integers / R. A. Popkov // Vestnik Omskogo
Universiteta. | 2014. | Vol. 72, No 2. | P. 34{36.
[356]
Popkov R. A.
the group of integers / R. A. Popkov // Siberian. Math. J. |
2015. | Vol. 56, No. 1. | P. 185{191.
[357]
Popkov R. A.
ories with continuum many types / R. A. Popkov, S. V. Sudo-
platov // Siberian Electronic Mathematical Reports. | 2015. |
Vol. 12. | P. 267{291.
Operators generating Rudin{Keisler preorders in
On number of prime and limit models of the theory
Distribution of countable models for the theory of
Distributions of countable models of complete the-
REFERENCES
[358]
Pourmahdian
// Ann. Pure and Appl. Logic. | 2003. | Vol. 121, No. 2{3. |
P. 227{260.
[359]
Puninskaya V. A.
Notherian prime rings / V. A. Puninskaya // Russ. Math. Surv. |
1999. | Vol. 54, No. 6. | P. 1257{1258.
[360]
Puninskaya V.
prime ring / V. Puninskaya // Bull. London Math. Soc. | 1999. |
Vol. 31. | P. 129{135.
[361]
Puninskaya V.
skaya, C. Toalory // Comm. Algebra. 2005. | Vol. 33, No. 11. |
P. 4267{4281.
[362]
Puzarenko V. G.
V. G. Puzarenko // Algebra and Logic. | 2012. | Vol. 51,
No. 3. | P. 390{397.
versity of Amsterdam, 2002. | 34 p. | (Preprint).
M.
Simple generic structures / M. Pourmahdian
Vaught conjecture for modules over hereditary
Vaught's conjecture for modules over a Dedekind
Vaught's conjecture and group rings / V. Punin-
On countably categorical theories /
293
[364]
Reed R.
arithmetic models / R. Reed // Ann. Pure and Appl. Logic. |
1991. | Vol. 53, No. 2. | P. 135{168.
[365]
Rezniko I.
equivalent a un ensemble independant / I. Rezniko // C.R. Acad.
Sc. Paris. | 1965. | Vol. 260. | P. 2385{2388.
[366]
Rudin M. E.
Trans. Amer. Math. Soc. | 1971. | Vol. 155, No. 2. | P. 353{362.
[367]
Ryaskin A. N.
unars / A. N. Ryaskin // Amer. Math. Soc. Transl. | 1999. |
Vol. 195, No. 2. | P. 285{307.
[368]
Ryll-Nardzewski C.
Nardzewski // Bull. Acad. Pol. Sci., Ser. Math., Astron., Phys. |
1959. | Vol. 7. | P. 545{548.
A decidable Ehrenfeucht theory with exactly two hyper-
Tout ensemble de formules de la logique classique est
Partial orders on the types of
The number of models of complete theories of
On the categoricity in power
βN
/ M. E. Rudin //
6 ℵ0/ C. Ryll-
294
[369]
Sacks
// Southeast Asian conference on logic (Singapore, 1981). Stud.
Logic Found. Math., 111. | Amsterdam : North-Holland, 1983. |
P. 185{195.
[370]
Sae U.
Universitat Hannover, 1981. | (Preprint).
[371]
Sae J.
J. Sae // Ann. Pure and Appl. Logic. | 1983. | Vol. 24, No. 3. |
P. 231{261.
[372]
Schmerl J.
Ryll-Nardzewski function / J. Schmerl // Fund. Math. | 1978. |
Vol. 98, No. 2. | P. 121{125.
[373]
Schmerl J.
J. Schmerl // Algebra Universalis. | 1979. | Vol. 9. | P. 317{
321.
of quantiers / D. Scott // Proceedings of the 1963 International
Symposium, Berkeley. | Amsterdam : Elsevier, 1965. | P. 329{
341.
G. E.
On the number of countable models / G. E. Sacks
An introduction to regular types / U. Sae. | Hannover :
The number of uncountable models ofω-stable theories /
A decidable
Countable homogeneous partially ordered sets /
ℵ0-categorical theory with a nonrecursive
REFERENCES
[375]
Shelah S.
S. Shelah // J. Symbolic Logic. | 1978. | Vol. 43, No. 3. |
P. 550{562.
[376]
Shelah S.
logic. | 1980. | Vol. 19, No. 3. | P. 177{203.
[377]
Shelah S.
S. Shelah, L. Harrington, M. Makkai // Israel J. Math. | 1984. |
Vol. 49, No. 1{3. | P. 259{280.
[378]
Shelah S.
S. Shelah // Ann. Pure and Appl. Logic. | 1999. | Vol. 98,
No. 1{3. | P. 261{294.
[379]
Shulepov I. V.
and limit models / I. V. Shulepov // Algebra and Model The-
ory 7. Collection of papers / eds.: A. G. Pinus, K. N. Ponomaryov,
End extensions and numbers of countable models /
Simple unstable theories / S. Shelah // Ann. Math.
A proof of Vaught's conjecture forω-stable theories /
Categoricity for abstract classes with amalgamation /
Quotients of sequences by sets of word identities
REFERENCES
S.
V. Sudoplatov. | Novosibirsk : NSTU, 2009. | P. 120{130. [in
Russian]
[380]
Shulepov I. V.
I. V. Shulepov. | Proceedings of International Conference \Com-
putability and Models", Collection of papers. Ust'-Kamenogorsk :
Edition of D. Serikbayev East Kazakhstan State Technical Univer-
sity, 2010. | P. 136{138.
[381]
Shulepov I. V.
tions of signature symbols / I. V. Shulepov // Algebra and Model
Theory 8. Collection of papers / eds.: A. G. Pinus, K. N. Pono-
maryov, S. V. Sudoplatov, E. I. Timoshenko. | Novosibirsk :
NSTU, 2011. | P. 132{137.
[382]
Shulepov I. V.
a complete theory / I. V. Shulepov, S. V. Sudoplatov // Siberian
Electronic Mathematical Reports. | 2014. | Vol. 11. | P. 380{
407.
[383]
Slutsky K.
K. Slutsky // J. Symbolic Logic. | 2012. | Vol. 77, No. 3. |
P. 987{1010.
Non-generic phenomena in ordered Frasse classes /
On predicate similarity of limit models /
Predicate similarity of limit models with identica-
Algebras of distributions for isolating formulas of
295
[384]
Sokic M.
universal minimal ows / M. Sokic // Israel Journal of Mathemat-
ics. | 2013. | Vol. 194, No. 2. | P. 609{640.
[385]
Solecki S.
Math. | 2005. | Vol. 150, No. 1. | P. 315{332.
[386]
Souldatos I. A.
cardinals / I. A. Souldatos // Ann. Pure and Appl. Logic. |
2012. | Vol. 163, No. 3. | P. 225{237.
[387]
Souldatos I. A.
complete (scott) sentence / I. A. Souldatos // arXiv:1007.2426v3
[math.LO]. | 2012. | 12 p.
[388]
Souldatos I. A.
countable connality / I.A. Souldatos // arXiv:1211.7145v1
[math.LO]. | 2012. | 11 p.
Ramsey property, ultrametric spaces, nite posets, and
Extending partial isometries / S. Solecki // Israel J.
Linear orderings and powers of characterizable
Notes on cardinals that characterizable by a
On automorphisms groups of structures of
296
[389]
Souldatos
sentence / I.A. Souldatos // Fundam. Math. | 2013. | V. 222. |
P. 131{154.
[390] Stable theories with no dense forking chains / B. Herwig [et al.] //
Archive for Math. Logic. | 1992. | Vol. 31, No. 5. | P. 297{304.
[391]
Steel J.
'76-77, Lecture Notes in Mathematics, 689 / eds.: A. Kechris,
Y. Moschovakis. | Los Angeles : Springer, 1978. | P. 193{208.
[392]
Stukachev A. I.Σ-denability of uncountable models ofc-simple
theories / A. I. Stukachev // Siberian Math. J. | 2010. | . 51,
No. 3. | P. 515{524.
[393]
Sudoplatov S. V.
doplatov // Siberian Math. J. | 1990. | Vol. 31, No. 4. | P. 629{
638.
[394]
Sudoplatov S. V.
without semi-contours / S. V. Sudoplatov // Edition of Siberian
Math. J. | Novosibirsk, 1990. | Deposited in VINITI 15.01.91,
No. 245-V 91. | 18 p. [in Russian]
I. A.
Characterizing the powerset by a complete (scott)
On Vaught's conjecture / J. Steel // Cabal Seminar
On powerful types in small theories / S. V. Su-
Baseness in plane-predicate theories and theories
REFERENCES
[395]
Sudoplatov S. V.
platov // Siberian Math. J. | 1992. | Vol. 33, No. 1. | P. 125{
133.
[396]
Sudoplatov S. V.
ories / S. V. Sudoplatov // Siberian Math. J. | 1996. | Vol. 37,
No. 3. | P. 614{617.
[397]
Sudoplatov S. V.
systems / S. V. Sudoplatov // Contributions to General Algebra
11 / Proc. of the Olomouc Workshop '98 on General Algebra / eds.:
I. Chajda, G. Eigenthaler, R. Halas, W. B. Muller, h.-J. Vogel,
J. Zednik. | Klagenfurt : Verlag Johannes Heyn, 1999. | P. 191{
210.
[398]
Sudoplatov S. V.
spondent geometrical structures / S. V. Sudoplatov // Algebra
and Model Theory 3. Collection of papers / eds.: A. G. Pinus,
K. N. Ponomaryov. | Novosibirsk : NSTU, 2001. | P. 131{135.
Type reduction and powerful types / S. V. Sudo-
On a certain complexity estimate in graph the-
Group polygonometries and related algebraic
Closed sets of side-angle matrices and corre-
REFERENCES
[399]
Sudoplatov
S. V. Sudoplatov // Siberian Advances in Mathematics. | 2002. |
Vol. 12, No 4. | P. 97{124.
[400]
Sudoplatov S. V.
els / S. V. Sudoplatov // Siberian Math. J. | 2003. | Vol. 44,
No. 5. | P. 883{890.
[401]
Sudoplatov S. V.
models. I / S. V. Sudoplatov // Algebra and Logic. | 2004. |
Vol. 43, No. 1. | P. 62{69.
[402]
Sudoplatov S. V.
tov // Algebra and Model Theory 5. Collection of papers / eds.:
A. G. Pinus, K. N. Ponomaryov. | Novosibirsk : NSTU, 2005. |
P. 204{208.
[403]
Sudoplatov S. V.
models. II / S. V. Sudoplatov // Algebra and Logic. | 2006. |
Vol. 45, No. 3. | P. 180{200.
[404]
Sudoplatov S. V.
Math. J. | 2007. | Vol. 48, No. 1. | P. 165{171.
S. V.ω-stable trigonometries on a projective plane /
Inessential combinations and colorings of mod-
Complete theories with nitely many countable
On varieties of generic classes / S. V. Sudopla-
Complete theories with nitely many countable
Powerful digraphs / S. V. Sudoplatov // Siberian
297
[405]
Sudoplatov S. V.
Bipartite digraphs / S. V. Sudoplatov // Siberian Advances
in Math. | 2007. | Vol. 17, No. 1. | P. 37{48.
[406]
Sudoplatov S. V.
theories with nite Rudin{Keisler preorders / S. V. Sudoplatov //
Siberian Math. J. | 2007. | Vol. 48, No. 2. | P. 334{338.
[407]
Sudoplatov S. V.
models / S. V. Sudoplatov // Algebra and Logic. | 2007. |
Vol. 46, No. 2. | P. 134{146.
[408]
Sudoplatov S. V.
S. V. Sudoplatov // Algebra and Model Theory 6. Collection of
papers / eds.: A. G. Pinus, K. N. Ponomaryov. | Novosibirsk :
NSTU, 2007. | P. 111{117.
[409]
Sudoplatov S. V.
Digraphs without furcations / S. V. Sudoplatov // Siberian Ad-
vances in Math. | 2008. | Vol. 18, No. 2. | P. 142{151.
Small stable generic graphs with innite weight.
On the number of countable models of complete
Syntactic approach to constructions of generic
Small stable trigonometries with innite weight /
Small stable generic graphs with innite weight.
298
[410]
Sudoplatov
graphs / S. V. Sudoplatov // Siberian Math. J. | 2009. | Vol. 50,
No. 3. | P. 498{502.
[411]
Sudoplatov S. V.
of generic classes / S. V. Sudoplatov // Algebra and Model The-
ory 7. Collection of papers / eds.: A. G. Pinus, K. N. Ponomaryov,
S. V. Sudoplatov. | Novosibirsk : NSTU, 2009. | P. 131{140.
[in Russian]
[412]
Sudoplatov S. V.
S. V. Sudoplatov // Reports of Irkutsk State University. Series
\Mathematics". | 2009. | Vol. 2, No 2. | P. 158{169. [in Rus-
sian]
[413]
Sudoplatov S. V.
tions of countable models of small theories / S. V. Sudoplatov
// J. Math. Sciences. | 2010. | Vol. 169, No. 5. | P. 680{695.
[414]
Sudoplatov S. V.
/ S. V. Sudoplatov. | Proceedings of International Confer-
ence \Computability and Models", Collection of papers. Ust'-
Kamenogorsk : Edition of D. Serikbayev East Kazakhstan State
Technical University, 2010. | P. 92{96. [in Russian]
S. V.
On expansions and extensions of powerful di-
On the nite closure property for fusions
Inessential combinations of small theories /
Hypergraphs of prime models and distribu-
Onl-categorical theories with a nite weight
REFERENCES
[415]
Sudoplatov S. V.
stable theories / S. V. Sudoplatov // Reports of Irkutsk State
University. Series \Mathematics". | 2010. | Vol. 3, No 4. |
P. 114{120. [in Russian]
[416]
Sudoplatov S. V.
S. V. Sudoplatov // Algebra and Model Theory 8. Collection of
papers / eds.: A. G. Pinus, K. N. Ponomaryov, S. V. Sudoplatov,
and E. I. Timoshenko. | Novosibirsk : NSTU, 2011. | P. 94{102.
[417]
Sudoplatov S. V.
envelopes / S. V. Sudoplatov // Algebra and Model Theory 8. Col-
lection of papers / eds.: A. G. Pinus, K. N. Ponomaryov, S. V. Su-
doplatov, and E. I. Timoshenko. | Novosibirsk : NSTU, 2011. |
P. 103{106.
On limit models over types in the class ofω-
On Rudin{Keisler preorders in small theories /
On Hrushovski fusions for predicates and their
REFERENCES
[418]
Sudoplatov
digraphs / S. V. Sudoplatov // Vestnik Karagandinskogo Univer-
siteta. Series \Mathematics". | 2013. | Vol. 69, No. 1. | P. 98{
104.
[419]
Sudoplatov S. V.
graphs / S. V. Sudoplatov // Vestnik Karagandinskogo Univer-
siteta. Series \Mathematics". | 2013. | Vol. 69, No. 1. | P. 105{
108.
[420]
Sudoplatov S. V.
doplatov. | 9th Panhellenic Logic Symposium, July 15-18, 2013,
National Technical University of Athens, Greece. | Athens :
NTUA, 2013. | P. 91{96.
[421]
Sudoplatov S. V.
Bulletin of the Section of Logic. | 2014. | Vol. 43, No. 1{2. |
P. 19{34.
[422]
Sudoplatov S. V.
mulas of a complete theory / S. V. Sudoplatov // Siberian Elec-
tronic Mathematical Reports. | 2014. | Vol. 11. | P. 408{433.
S. V.
Ehrenfeucht theories with non-dense powerful
Ehrenfeucht theories without powerful di-
Deterministic and absorbing algebras / S. V. Su-
Models of cubic theories / S. V. Sudoplatov //
Algebras of distributions for semi-isolating for-
299
[423]
Sudoplatov S. V.
isolating formulas for families of isolated types and for countably
categorical theories / S. V. Sudoplatov // International Mathe-
matical Forum. | 2014. | Vol. 9, No. 21. | P. 1029{1033.
[424]
Sudoplatov S. V.
of binary semi-isolating formulas for strongly minimal theories /
S. V. Sudoplatov // Mathematics and Statistics. | 2014. | Vol. 2,
No. 5. | P. 183{187.
[425]
Sudoplatov S. V.
types / S. V. Sudoplatov // Reports of Irkutsk State University.
Series \Mathematics". | 2014. | Vol. 9. | P. 118{133. [in Rus-
sian]
[426]
Sudoplatov S. V.
S. V. Sudoplatov, P. Tanovic // Notre Dame J. of Formal Logic. |
2015. | Vol. 56, No. 4. | P. 55{572.
Algebras of distributions for binary semi-
Forcing of innity and algebras of distributions
On existence of limit models over sequences of
Semi-isolation and the strict order property /
300
[427]
Sudoplatov
doplatov // Proceedings of the 10th Panhellenic Logic Symposium,
June 11-15, 2015, Samos, Greece. | University of Aegean, Uni-
versity of Crete, and University of Athens, 2015. | P. 30{34.
[428]
Sudoplatov S. V.
grams / S. V. Sudoplatov // Algebra and Model Theory 10. Col-
lection of papers / eds.: A. G. Pinus, K. N. Ponomaryov, S. V. Su-
doplatov, and E. I. Timoshenko. | Novosibirsk : NSTU, 2015. |
P. 163{174.
[429]
Sudoplatov S. V.
S. V. Sudoplatov // Lobachevskii Journal of Mathematics. |
2015. | Vol. 36, No. 4. | P. 426{433.
[430]
Sudoplatov S. V.
// arXiv:1601.00041v1 [math.LO]. | 2016. | 19 p.
[431]
Sudoplatov S. V.
binations of structures / S. V. Sudoplatov // Reports of Irkutsk
State University. Series \Mathematics". | 2016. | Vol. 16. |
P. 131{144.
S. V.
Generative and pre-generative classes / S. V. Su-
Generative classes generated by sets of dia-
Classes of structures and their generic limits /
Combinations of structures / S. V. Sudoplatov
Closures and generating sets related to com-
REFERENCES
[432]
Sudoplatov S. V.
generating sets / S. V. Sudoplatov // Reports of Irkutsk State
University. Series \Mathematics". | 2016. | Vol. 17. | P. 62{
76.
[433]
Sudoplatov S. V.
pergraphs of models of a theory / S. V. Sudoplatov // Bulletin of
Karaganda University. Series \Mathematics". | 2016. | Vol. 81,
No. 2. | P. 113{120.
[434]
Sudoplatov S. V.
countably categorical structures and their theories / S. V. Sudo-
platov // Siberian Electronic Mathematical Reports. | 2017. |
Vol. 14. | P. 135{150.
[435]
Sudoplatov S. V.
ilies of theories / S. V. Sudoplatov // Siberian Electronic Mathe-
matical Reports. | 2017. | Vol. 14. | P. 296{307.
Families of language uniform theories and their
On the separability of elements and sets in hy-
Combinations related to classes of nite and
Relative e-spectra and relative closures for fam-
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]