Добавил:
ivanov666
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Classification of countable models of complete theories. Р.1. Monograph in two parts
.pdf
REFERENCES
[10]
Clior
ford, G. B. Preston. | Providence : American Mathematical So-
ciety, 1961. | Vol. 1. | 224 p.
[11]
Cliord A. H.
ford, G. B. Preston. | Providence : American Mathematical So-
ciety, 1967. | Vol. 2. | 352 p.
[12]
Daniyarova E. Yu.
E. Yu. Daniyarova, A. G. Myasnikov, V. N. Remeslennikov. |
Novosibirsk : Edition of SB RAS, 2016. | 244 p.
[13]
Ershov Yu. L.
Yu. L. Ershov. | Moscow : Nauka, 1980. | 416 p. [in Russian]
[14]
Ershov Yu. L.
charov. | New York : Plenum Publ. Corp, 2000. | 293 p.
[15]
Ershov Yu. L.
lyutin. | Moscow : FIZMATLIT, 2011. | 356 p. [in Russian]
[16]
Ferreira M. S.
Thesis / M. S. Ferreira. | Norwich : University of East Anglia,
2009. | 133 p.
d A. H.
The Algebraic Theory of Semigroups / A. H. Clif-
The Algebraic Theory of Semigroups / A. H. Clif-
Algebraic geometry over algebraic systems /
Decidability problems and constructive models /
Constructive models / Yu. L. Ershov, S. S. Gon-
Mathematical logic / Yu. L. Ershov, E. A. Pa-
The geometries of Hrushovski constructions. Ph. D.
261
[17]
Frasse R.
Holland, 1986. | 451 p.
[18]
Fuchs L.
ford : Pergamon Press, 1963. | 229 p.
[19] General algebra / O. V. Mel'nikov and other; ed. L. A. Sko-
rnyakov. | Moscow : Nauka, 1990. | Vol. 1. | 592 p. [in Russian]
[20] General algebra / V. A. Artamonov and other; ed. L. A. Sko-
rnyakov. | Moscow : Nauka, 1990. | Vol. 2 | 479 p. [in Russian]
[21]
Ghadernezhad Z.
PhD Dissertation / Z. Ghadernezhad. | Munster : Universitat
Munster, 2013. | 84 p.
[22]
Gorbunov V. A.
bunov. | New York : Plenum Publ. Corp, 1999. | 298 p.
Theory of relations / R. Frasse. | Amsterdam : North-
Partially ordered algebraic systems / L.Fuchs . | Ox-
Autmorphism Groups of Generic Structures.
Algebraic theory of quasivarieties / V. A. Gor-
262
[23]
Handbook of mathematical logic / ed. J. Barwise. | Moscow :
Nauka, 1982. | Vol. 1. Model Theory. | 392 p. [in Russian]
[24]
Harary F.
Addison-Wesley, 1969. | 274 p.
[25]
Hasson A.
A. Hasson. | Jerusalem : Hebrew University, 2004. | 109 p.
[26]
Hils M.
Thesis / M. Hils. | Paris : Universite Paris 7, 2006. | 165 p.
[27]
Hirsch R.
Amsterdam : Elsevier, 2002. | Studies in Logic and the Founda-
tions of Mathematics. | Vol. 147. | 692 p.
[28]
Hodges W.
University Press, 1993. | 772 p.
[29]
Kechris A.
York : Springer-Verlag, 1995. | 416 p.
[30]
Kim B.
Press, 2014. | 224 p.
Graph theory / F. Harary. | Reading, Massachusetts :
In search of new strongly minimal sets. Ph. D. Thesis /
Fusion libre et autres constructions generiques. Ph. D.
Relation algebras by games / R. Hirsch, I. Hodkinson. |
Model theory / W. Hodges. | Cambridge : Cambridge
Classical Descriptive Set Theory / A. Kechris. | New
Simplicity Theory / B. Kim. | Oxford : Oxford University
REFERENCES
[31]
Kolesnikov A.
characterization of dependence in non-elementary classes. Ph. D.
Thesis / A. Kolesnikov. | Pittsburg : Carnegie Mellon University,
2004. | 107 p.
[32]
Lascar D.
Longman Scientic & Technical, Harlow, Essex, John Wiley &
Sons, Incorporated, 1987. | 193 p.
[33] Lectures on the graph theory / V. A. Emelichev, O. I. Mel'nikov,
V. I. Sarvanov, R. I. Tyshkevich. | Moscow : Nauka, 1990. |
384 p. [in Russian]
[34]
Lyapin E. S.
Mathematical Society, 1974. | 520 p.
[35]
Maddux R. D.
Elsevier, 2006. | Studies in Logic and the Foundations of Math-
ematics. | Vol. 150. | 732 p.
Generalized amalgamation in simple theories and
Stability in Model Theory / D. Lascar. | New York :
Semigroups / E. S. Lyapin. | Providence : American
Relation algebras / R. D. Maddux. | Amsterdam :
REFERENCES
[36]
Marker
York : Springer-Verlag, 2002. | Graduate texts in Mathemat-
ics. | Vol. 217. | 342 p.
[37]
Ore O.
Soc., 1967. | 270 p.
[38]
Peretyatkin M. G.
atkin. | New York : Plenum Publ. Corp, 1997. | 316 p.
[39]
Pillay A.
ford : Oxford University Press, 1983. | 146 p.
[40]
Pillay A.
Clarendon Press, 1996. | 361 p.
[41]
Pinus A. G.
Novosibirsk : NSTU, 1994. | 208 p.
[42]
Pinus A. G.
Novosibirsk : NSTU, 2000. | 114 p. [in Russian]
[43]
Poizat B. P.
Villeurbane : Nur Al-Mantiq Wal-Ma'rifah, 1985. | 444 p.
D.
Model Theory: An Introduction / D. Marker. | New
Graph theory / O. Ore. | Providence : American Math.
Finitely Axiomatizable Theories / M. G. Perety-
An introduction to stability theory / A. Pillay. | Ox-
Geometric Stability Theory / A. Pillay. | Oxford :
Constructions of Boolean algebras / A. G. Pinus. |
Foundations of Universal Algebra / A. G. Pinus. |
Cours de theorie des modeles / B. P. Poizat. |
263
[44]
Pongracz A.
Thesis / A. Pongracz | Budapest : Central European University,
2012. | 69 p.
[45]
Sacks G. E.
sey, London, Singapore, Beijing, Shanghai, Hong Kong, Taipei,
Chennai : World Scientic, 2009. | 220 p.
[46] Schoretsanitis K. Frasse theory for metric structures. Ph. D.
Thesis / K. Schoretsanitis. | University of Illinois at Urbana-
Champaign, 2007. | 89 p.
[47]
Shelah S.
models / S. Shelah. | Amsterdam : North-Holland, 1990. |
705 p.
[48]
Siniora D. N.
Ph. D. thesis / D. N. Siniora. | University of Leeds, 2017. |
114 p.
Reducts of homogeneous relational structures. Ph. D.
Saturated model theory / G. E. Sacks. | New Jer-
Classication theory and the number of non-isomorphic
Automorphism Groups of Homogeneous Structures.
264
[49]
Sudoplatov
countable models with powerful types : Dis... cand. z.-mat. sc.:
01.01.06 / S. V. Sudoplatov. | Novosibirsk, 1990. | 142 p.
[in Russian]
[50]
Sudoplatov S. V.
and group polygonometries : Dis... doc. z.-mat. sc.: 01.01.06 /
S. V. Sudoplatov. | Novosibirsk, 2006. | 320 p. [in Russian]
[51]
Sudoplatov S. V.
Novosibirsk : NSTU, 2009. | 336 p. [in Russian]
[52]
Sudoplatov S. V.
tov, E. V. Ovchinnikova. | Moscow : Urait, 2016, 2017. | 280 p.
[in Russian]
[53]
Sudoplatov S. V.
Tutorial / S. V. Sudoplatov, E. V. Ovchinnikova. | Moscow :
Urait, 2016. | 256 p. [in Russian]
Novosibirsk : NSTU, 2011, 2013. | 302 p. [in Russian]
S. V.
Basedness of stable theories and properties of
Theories with nitely many countable models
The Lachlan problem / S. V. Sudoplatov. |
Discrete mathematics: Tutorial / S. V. Sudopla-
Mathematical logic and theory of algorithms:
REFERENCES
[55]
Tanovic P.
Models. Ph. D. Thesis / P. Tanovic. | McGill University, 1993. |
83 p.
[56]
Tent K.
40) / K. Tent, M. Ziegler. | Cambridge : Cambridge University
Press, 2012. | 258 p.
[57]
Verbovskiy V. V.
ordered structures : Dis... doc. z.-mat. sc. : 01.01.06 / V. V. Ver-
bovskiy. | Almaty, 2010. | 297 p. [in Russian]
[58]
Vikent'ev A. A.
Dis... cand. z.-mat. sc. : 01.01.06 / A. A. Vikent'ev. | Novosi-
birsk, 1992. | 134 p. [in Russian]
[59]
Wagner F. O.
Boston ; London : Kluwer Academic Publishers, 2000. | 260 p.
Fundamental Order and the Number of Countable
A Course in Model Theory (Lecture Notes in Logic. No.
Methods of stability theory in investigations of
Theories with coverings and denable subsets :
Simple theories / F. O. Wagner. | Dordrecht ;
REFERENCES
[60]
Wo
odrow R. E.
and a small language. Ph. D. Thesis / R. E. Woodrow. | Simon
Fraser University, 1976. | 99 p.
[61]
Zykov A. A.
Moscow : Nauka, 1987. | 384 p. [in Russian]
Theories with a nite number of countable models
Foundations of Graph Theory / A. A. Zykov. |
Papers
[62]
Alibek A.
theory / A. Alibek, B. S. Baizhanov // International Journal of
Mathematics and Physics. | 2012. | V. 3, No. 2. | P. 1{8.
[63]
Alibek A.
models / A. Alibek, B. S. Baizhanov, T. S. Zambarnaya // Math-
ematical Journal. | 2014. | Vol. 14, No. 3 (53). | P. 5{13.
[64]
Anbo Yu.
of Generic Structures / Yu. Anbo // Proceedings of the 10th
Asian Logic Conference, Kobe, Japan, 1{6 September 2008 / eds.:
T. Arai, J. Brendle, C. T. Chong, R. Downey, Q. Feng, H. Kikyo,
H. Ono. | Singapore : World Scientic, 2010. | P. 1{18.
Examples of countable models of a weaklyo-minimal
Discrete order on a denable set and the number of
An Application of Nonstandard Arguments to the Study
265
[65]
Andrews U.
gamation Construction / U. Andrews // J. Symbolic Logic. |
2011. | Vol. 76, No. 3. | P. 883{896.
[66]
Andrews U.
nite Languages / U. Andrews // Ann. Pure and Appl. Logic. |
2011. | Vol. 162, No. 5. | P. 367{372.
[67]
Andrews U.
Models / U. Andrews // Proc. Amer. Math. Soc. | 2013. |
Vol. 141, No. 7. | P. 2501{2514.
[68]
Andrews U.
// J. Symbolic Logic. | 2014. | Vol. 79, No. 1. | P. 186{192.
[69]
Andrews U.
tion / U. Andrews, A. M. Kach // Algebra and Logic. | 2014. |
Vol. 53, No. 2. | P. 176{183.
A New Spectrum of Recursive Models Using An Amal-
New Spectra of Strongly Minimal Theories in Fi-
The Degrees of Categorical Theories with Recursive
Decidable Models ofω-stable Theories / U. Andrews
Computing and dominating the Ryll-Nardzewski func-
266
[70]
A
ndrews U.
H. J. Keisler // J. Symbolic Logic. | 2015. | Vol. 80, No. 4. |
P. 1149{1181.
[71]
Angel O.
phism Groups / O. Angel, A. S. Kechris, R. Lyons. | Pasadena :
California Institute of Technology, 2012. | 39 p. | (Preprint).
[72]
Aref'ev R.
R. Aref'ev, J. T. Baldwin, M. Mazucco // J. Symbolic Logic. |
1999. | Vol. 64, No. 4. | P. 1743{1750.
[73]
Ash C. J.
C. J. Ash, T. S. Millar // Proc. Amer. Math. Soc. | 1983. |
Vol. 89, No. 3. | P. 487{492.
[74]
Baikalova K. A.
K. A. Baikalova // 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. 9{12.
[75]
Baikalova K. A.
Abelian groups / K. A. Baikalova // Syntax and semantics of
logical systems: Proceedings of 4th Russian School-Seminar. |
Irkutsk : Edition of FGBOU VPO \East-Siberian Academy of
Education", 2012. | 158 p. | P. 16{19.
Separable models of randomizations / U. Andrews,
Random Orderings and Unique Ergodicity of Automor-
Classication ofδ-invariant amalgamation classes /
Persistently nite, persistently arithmetic theories /
Limit models of theories of Abelian groups /
Limit models of theories of linearly ordered
REFERENCES
[76]
Baikalova K. A.
separability / K. A. Baikalova. | Novosibirsk, 2013. | 12 p. |
(Preprint).
[77]
Baikalova K. A.
// Vestnik Omskogo Universiteta. | 2014. | Vol. 72, No 2. |
P. 10{14.
[78]
Baikalova K. A.
models of theories of locally free algebras / K. A. Baikalova //
Russian Math. | 2015. | Vol. 59, No. 6. | P. 1{4.
[79]
Baikalova K. A.
formulas for theories of abelian groups and their ordered expan-
sions / K. A. Baikalova, D. Yu. Emel'yanov, B. Sh. Kulpeshov,
E. A. Palyutin, S. V. Sudoplatov // Russian Math. | 2018. |
No. 4. | P. 1{13.
On limit models of theories with uniform nite
Limit models of theories of unars / K. A. Baikalova
On number of limit and prime, over nite sets,
On algebras of distributions of binary isolating
REFERENCES
[80]
Baisalov
E. R. Baisalov // Algebra and Logic. | 1990. | Vol. 29, No. 3. |
P. 181{192.
[81]
Baisalov E. R.
E. R. Baisalov // Siberian Math. J. | 1990. | Vol. 31, No. 4. |
P. 534{540.
[82]
Baizhanov B. S.
ries / B. S. Baizhanov // Model theory and its applications. |
Alma-Ata : MinVUZ Kaz. SSR and KazGU, 1980. | P. 14{24.
[in Russian]
[83]
Baizhanov B. S.
theories of nite rank / B. S. Baizhanov // Model theory and
its applications. | Alma-Ata : MinVUZ Kaz. SSR and KazGU,
1980. | P. 25{44. [in Russian]
[84]
Baizhanov B. S.
theories / B. S. Baizhanov // Algebra and Model Theory 2. Collec-
tion of papers / eds.: A. G. Pinus, K. N. Ponomaryov. | Novosi-
birsk : NSTU, 1999. | P. 5{28.
E. R.
Countable models of superstable theories /
Countable models of small stable theories /
Some properties of totally transcendental theo-
Questions on the spectra of totally transcendental
Orthogonality of one types in weaklyo-minimal
267
[85]
Baizhanov B. S.
ory by a family of unary predicates / B. S. Baizhanov // J. Sym-
bolic Logic. | 2001. | Vol. 66, No. 3. | P. 1382{1414.
[86]
Baizhanov B. S.
theories / B. S. Baizhanov, B. Sh. Kulpeshov // Mathematical
Logic in Asia, Proceedings of the 9th Asian Logic Conference /
eds.: S. Goncharov, R. Downey, H. Ono. | Singapore, World
Scientic : 2006. | P. 31{40.
[87]
Baizhanov B. S.
isolation / B. S. Baizhanov, S. V. Sudoplatov, V. V. Verbovskiy //
Siberian Electronic Mathematical Reports. | 2012. | Vol. 9. |
P. 161{184.
[88]
Baizhanov B. S.
N. S. Tazabekova, A. D. Yershigeshova, T. S. Zambarnaya //
Mathematical Journal. | 2015. | Vol. 15, No. 1 (55). | P. 38{56.
Expansion of a model of a weaklyo-minimal the-
On behaviour of2-formulas in weaklyo-minimal
Conditions for non-symmetric relations of semi-
Types in small theories / B. S. Baizhanov,
268
[89]
Baldwin
A. H. Lachlan // J. Symbolic Logic. | 1971. | Vol. 36, No. 1. |
P. 79{96.
[90]
Baldwin J. T.
J. T. Baldwin, A. R. Blass, A. M. W. Glass, D. W. Kueker //
Algebra Universalis. | 1973. | Vol. 3, No. 1. | P. 152{155.
[91]
Baldwin J. T.
rst order theory / J. T. Baldwin, J. M. Plotkin // Zeitshrift Math.
Logik and Grundlagen der Math. | 1974. | Vol. 20, No. 2. |
P. 173{178.
[92]
Baldwin J. T.
// Proceedings of the 10th Easter Conference in Model Theory:
Wendisch Rietz, April 12{17, 1993 / eds.: H. Wolter, M. Weese. |
Berlin : Humboldt-Univ., Fachbereich Mathematik, Information-
sstelle, 1993. | P. 1{9.
[93]
Baldwin J. T.
jective plane / J. T. Baldwin // Trans. Amer. Math. Soc. |
1994. | Vol. 342, No. 2. | P. 695{711.
J. T.
On strongly minimal sets / J. T. Baldwin,
A `natural' theory without a prime model /
A topology for the space of countable models of a
Problems on pathological structures / J. T. Baldwin
An almost strongly minimal non-Desarguesian pro-
REFERENCES
[94]
Baldwin J. T.K-generic projective planes have Morley rank two or
innity / J. T. Baldwin, M. Itai // Math. Logic Quart. | 1994. |
Vol. 40, No. 2. | P. 143{152.
[95]
Baldwin J. T.
J. T. Baldwin // Proc. Amer. Math. Soc. | 1995. | Vol. 123,
No. 1. | P. 251{256.
[96]
Baldwin J. T.
Ann. Pure and Appl. Logic. | 1996. | Vol. 79, No. 1. | P. 1{35.
[97]
Baldwin J. T.
win. | Chicago : University of Illinois at Chicago, 1997. | 10 p. |
(Preprint).
[98]
Baldwin J. T.
S. Shelah // J. Symbolic Logic. | 1998. | Vol. 63, No. 2. |
P. 427{438.
Some projective planes of Lenz-Barlotti class I /
Stable generic structures / J. T. Baldwin, N. Shi //
Problems on \pathological" structures / J. T. Bald-
DOP and FCP in generic theories / J. T. Baldwin,
REFERENCES
[99]
Baldwin
A.I.Maltsev / J. T. Baldwin. | Chicago : University of Illinois at
Chicago, 2000. | 12 p. | (Preprint).
[100]
Baldwin J. T.
2 / J. T. Baldwin, K. Holland // J. Symbolic Logic. | 2000. |
Vol. 65, No. 1. | P. 371{391.
[101]
Baldwin J. T.
rank / J. T. Baldwin, K. Holland // Fund. Math. | 2001. |
Vol. 170, No. 1{2. | P. 1{20.
[102]
Baldwin J. T.
win // Tits buildings and the model theory of groups (Wurzburg,
2000). London Math. Soc. Lecture Notes Ser., 291. | Cambridge :
Cambridge Univ. Press, 2002. | P. 215{234.
[103]
Baldwin J. T.
J. T. Baldwin, K. Holland // Notre Dame J. of Formal Logic. |
2003. | Vol. 44, No. 3. | P. 139{147.
[104]
Baldwin J. T.
J. Symbolic Logic. | 2003. | Vol. 68, No. 3. | P. 803{827.
J. T.
Stable amalgamation. Dedicated to the memory of
Constructingω-stable structures: elds of rank
Constructingω-stable structures: Computing
Rank and homogeneous structures / J. T. Bald-
Constructingω-stable structures: Rankkelds /
Expansions of geometries / J. T. Baldwin //
269
[105]
Baldwin J. T.
ness / J. T. Baldwin, K. Holland // Ann. Pure and Appl. Logic. |
2004. | Vol. 125, No. 1{3. | P. 159{172.
[106]
Baldwin J. T.
J. T. Baldwin // Bulletin of Symbolic Logic. | 2004. | Vol. 10,
No. 3. | P. 334{367.
[107]
Baldwin J. T.
J. T. Baldwin // Ann. Pure and Appl. Logic. | 2006. | Vol. 143,
No. 1{3. | P. 20{28.
[108]
Baldwin J. T.
A. Kolesnikov, S. Shelah // J. Symbolic Logic. | 2009. | Vol. 74,
No. 3. | P. 914{928.
[109]
Baldwin J. T.
cally Finite Abstract Elementary Classes / J. T. Baldwin, M. Ko-
erwien, M. S. Laskowski. | Chicago : University of Illinois at
Constructingω-stable structures: Model Complete-
Notes on quasiminimality and excellence /
The metamathematics of random graphs /
The amalgamation spectrum / J. T. Baldwin,
Amalgamation, Characterizing Cardinals and Lo-
270
REFERENCES
Chicago,
11 p. | (Preprint).
[110]
Baldwin J. T.
J. T. Baldwin, M. S. Laskowski, S. Shelah. | Chicago : Univer-
sity of Illinois at Chicago, College Park : University of Maryland,
Jerusalem : Hebrew University of Jerusalem, New Brunswick :
Rutgers University 2015. | 27 p. | (Preprint).
[111]
Baudisch A.
// Trans. Amer. Math. Soc. | 1996. | Vol. 48, No. 10. | P. 3889{
3940.
[112]
Baudisch A.
// J. Symbolic Logic. | 2000. | Vol. 65, No. 2. | P. 914{922.
[113]
Baudisch A.
nent / A. Baudisch // Bull. London Math. Soc. | 2001. | Vol. 33,
No. 5. | P. 513{519.
[114]
Baudisch A.
J. Symbolic Logic. | 2002. | Vol. 67, No. 3. | P. 1025{1038.
[115]
Baudisch A.
ponent / A. Baudisch // Bull. London Math. Soc. | 2004. |
Vol. 36, No. 5. | P. 613{622.
KGRC, College Park : University of Maryland, 2014. |
Constructing many atomic models in
A new uncountably categorical group / A. Baudisch
Closure in
A Frasse limit of nilpotent groups of nite expo-
Generic variations of models ofT/ A. Baudisch //
More Frasse limits of nilpotent groups of nite ex-
ℵ0-categorical bilinear maps / A. Baudisch
ℵ1/
[116]
Baudisch A.
Pizarro, M. Ziegler // Algebra and Logic. | 2006. | Vol. 45,
No. 2. | P. 92{105.
[117]
Baudisch A.
Pizarro, M. Ziegler // J. Math. Logic. | 2006. | Vol. 6, No. 2. |
P. 141{162.
[118]
Baudisch A.
M. Ziegler // Algebra, Logic, Set Theory, Festschrift fur Ulrich
Felgner zum 65. Geburtstag / eds.: F. Haug, B. Lowe, T. Schatz. |
London, 2007. | Vol. 4: College Publications, Studies in Logic. |
P. 15{31.
[119]
Baudisch A.
M. Ziegler // J. Symbolic Logic. | 2007. | Vol. 72, No. 1. |
P. 207{225.
On elds and colors / A. Baudisch, A. Martin-
Fusion over a vector space / A. Baudisch, A. Martin-
Hrushovskis fusion / A. Baudisch, A. Martin-Pizarro,
Red elds / A. Baudisch, A. Martin-Pizarro,
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]