Добавил:
ivanov666
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Classification of countable models of complete theories. Р.1. Monograph in two parts
.pdf
REFERENCES
[120]
Baudisch
A.
Die bose Farbe / A. Baudisch, M. Hils, A. Martin-
Pizarro, F. O. Wagner // Journal de l'Institut de Mathematiques
de Jussieu. | 2009. | Vol. 8, No. 3. | P. 415{443.
[121]
Baudisch A.
Ample hierarchy / A. Baudisch, A. Martin-Pizarro,
M. Ziegler // Fund. Math. | 2014. | Vol. 224. | P. 97{153.
[122]
Baudisch A.
nilpotent groups of exponent
Neostability-properties of Frasse limits of2-
p > 2
/ A. Baudisch // Archive
for Mathematical Logic. | 2015. | P. 1{7.
[123]
Belegradek O. V.
The model theory of locally free algebras /
O. V. Belegradek // Amer. Math. Soc. Transl. | 1999. | Vol. 195,
No. 2. | P. 117{143.
[124]
Ben Yaacov I.
Frasse limits of metric structures / I. Ben Yaacov
// J. Symbolic Logic. | 2015. | Vol. 80, No. 1. | P. 100{115.
[125]
Benda M.
Remarks on countable models / M. Benda // Fund.
Math. | 1974. | Vol. 81, No. 2. | P. 107{119.
[126]
Bhat V.
A short proof of the induced Ramsey Theorem for hyper-
graphs / V. Bhat, V. Rodl // Discrete Math. | 2016. | Vol. 339,
No. 3. | P. 1147{1149.
271
[127]
Bhat V.
A Ramsey class for Steiner systems / V. Bhat, J. Nesetril,
C. Reiher, V. Rodl // arXiv:1607.02792v1 [math.CO]. | 2016. |
27 p.
[128]
Bodirsky M.
Decidability of denability / M. Bodirsky,
M. Pinsker, T. Tsankov // J. Symbolic Logic. | 2013. | Vol. 78,
No. 4. | P. 1036{1054.
[129]
Bodirsky M.
New Ramsey Classes from Old / M. Bodirsky // The
Electronic Journal of Combinatorics. | 2014. | Vol. 21, No. 2. |
Paper #P2.22. | 13 p.
ℵ
[130]
de Bonis M. J.
n
-gons that do not interpret an innite group / M. J. de Bonis,
There are
0
2
almost strongly minimal generalized
A. Nesin // J. Symbolic Logic. | 1998. | Vol. 63, No. 2. |
P. 485{508.
272
[131]
Bousc
aren E.
theories / E. Bouscaren, D. Lascar // J. Symbolic Logic. |
1983. | Vol. 48, No. 1. | P. 197{205.
[132]
Bouscaren E.
theories / E. Bouscaren // J. Symbolic Logic. | 1983. | Vol. 48,
No. 2. | P. 377{383.
[133]
Bouscaren E.
B. Poizat // J. Symbolic Logic. | 1988. | Vol. 53, No. 2. |
P. 434{442.
[134]
Buechler S.
rank / S. Buechler // Ann. Pure and Appl. Logic. | 2008. |
Vol. 155, No. 3. | P. 135{172.
[135]
Buechler S.
S. Buechler // Classication Theory, Proceedings / ed. J. T. Bald-
win. | Chicago : Springer, 1987. | P. 32{71.
V. S. Harizanov, J. F. Knight, S. Miller // Algebra and Logic. |
2006. | Vol. 45, No. 5. | P. 306{325.
Countable models of nonmultidimensional
Countable models of multidimensional
Des belles paires aux beaux uples / E. Bouscaren,
Vaught's conjecture for superstable theories of nite
Classication of small weakly minimal sets, I /
REFERENCES
ℵ0-stable
ℵ0-stable
[137]
Cameron P. J.
// Discr. Math. | 1991. | Vol. 95, No. 1{3. | P. 49{67.
[138]
Casanovas E.
E. Casanovas, R. Pelaez, M. Ziegler // Fund. Math. |
2011. | Vol. 214, No. 3. | P. 285{294.
[139]
Casanovas E.
Barcelona : University of Barcelona, 2012. | 19 p. | (Preprint).
[140]
Caycedo J. D.
// arXiv:1307.5408v1 [math.LO]. | 2013. | 13 p.
[141]
Caycedo J. D.
arXiv:1401.0495v1 [math.LO]. | 2014. | 41 p.
[142]
Caycedo J. D.
J. D. Caycedo, B. Zilber // arXiv:1401.3326v1 [math.LO]. |
2014. | 26 p.
The age of a relational structure / P. J. Cameron
On many-sortedω-categorical theories /
The number of countable models / E. Casanovas. |
Bad elds with torsion / J. D. Caycedo, M. Hils
Theories of green points / J. D. Caycedo //
Natural models of theories of green points /
REFERENCES
[143]
Chatzidakis
dakis, A. Pillay // Ann. Pure and Appl. Logic. | 1998. | Vol. 95,
No. 1{3. | P. 71{92.
[144]
Cherlin G.
G. Cherlin, P. Komjath // J. Graph Theory. | 1994. | Vol. 18,
No. 4. | P. 337{341.
[145]
Cherlin G.
N. Shi // J. Graph Theory. | 1996. | Vol. 21, No. 3. | P. 351{
355.
[146]
Cherlin G.
N. Shi // J. Graph Theory. | 1997. | Vol. 24, No. 3. | P. 237{
247.
[147]
Cherlin G.
L. Tallgren // J. Graph Theory. | 1997. | Vol. 26, No. 4. |
P. 203{210.
gebraic closure / G. Cherlin, S. Shelah, N. Shi //Adv. in
Appl.Math. | 1999. | Vol. 22, No. 4. | P. 454{491.
Z.
Generic structures and simple theories / Z. Chatzi-
There is no universal countable pentagon-free graph /
Graphs omitting a nite set of cycles / G. Cherlin,
Graphs omitting sums of complete graphs / G. Cherlin,
Graphs omitting a bushy tree / G. Cherlin, N. Shi,
273
[149]
Cherlin G.
G. Cherlin, N. Shi // J. Symbolic Logic. | 2001. | Vol. 66,
No. 3. | P. 1342{1352.
[150]
Cherlin G.
bouquet / G. Cherlin, L. Tallgren // J. Graph Theory. | 2007. |
Vol. 56, No. 1. | P. 41{63.
[151]
Cherlin G.
lin, S. Shelah // J. Comb. Theory, Series B. | 2007. | Vol. 97. |
P. 293{333.
[152]
Cherlin G.
path solidity / G. Cherlin, S. Shelah // Combinatorica. | 2013. |
P. 1-16.
[153]
Cherlin G.
G. Cherlin. | New Brunswick : Rutgers University, 2013. |
81 p. | (Preprint).
Forbidden subgraphs and forbidden substructures /
Universal graphs with a forbidden near-path or 2-
Universal graphs with a forbidden subtree / G. Cher-
Universal graphs with a forbidden subgraph: block
The classication of homogeneous ordered graphs /
274
[154]
Conant
G.
Model theoretic properties of the Urysohn sphere /
REFERENCES
G. Conant, C. Terry // arXiv:1401.2132v1 [math.LO]. | 2014. |
22 p.
[155]
Conant G.
Forking and dividing in Henson graphs / G. Conant
// Notre Dame J. Formal Logic. | 2017. | Vol. 58, No. 4. |
P. 555{566.
[156]
Conant G.
Independence in generic incidence structures /
G. Conant, A. Kruckman // arXiv:17019.09626v1 [math.LO]. |
2017. | 24 p.
[157]
Csima B. F.
Computability of Frasse limits / B. F. Csima,
V. S. Harizanov, R. Miller, A. Montalban // J. Symbolic Logic. |
2011. | Vol. 76, No. 1. | P. 66{93.
[158]
Cutland N.
Some Theories Having Countably Many Countable
Models / N. Cutland // Zeitschr. Math. Logik und Grundlagen
Math. | 1977. | Vol. 23, No. 8. | P. 105{110.
∗
B. Hart, B. Kadets, V. Kalashnyk, M. Lupini // J. Symbolic
Logic. | 2016. | Vol. 81, No. 2. | P. 755{773.
[160]
Emel'yanov D. Yu.
lgebras of distributions for binary for-
mulas in countably categorical weaklyo-minimal structures /
D. Yu. Emel'yanov, B. Sh. Kulpeshov, S. V. Sudoplatov // Al-
gebra and Logic. | 2017. | Vol. 56, No. 1. | P. 13{36.
[161]
Emel'yanov D. Yu.
On deterministic and absorbing algebras of
binary formulas of polygonometric theories / D. Yu. Emel'yanov,
S. V. Sudoplatov // Reports of Irkutsk State University. Series
\Mathematics". | 2017. | Vol. 20. | P. 32{44. [in Russian]
[162]
Emel'yanov D. Yu.
On algebras of distributuions of binary iso-
lating formulas for quiteo-minimal theories / D. Yu. Emel'yanov,
B. Sh. Kulpeshov, S. V. Sudoplatov // Algebra and Logic. (to
appear)
[163]
Engeler E.
A characterization of theories with isomorphic denu-
merable models / E. Engeler // Notices of the American Math.
Soc. | 1959. | Vol. 6. | P. 161.
REFERENCES
[164]
Evans
D. M. Evans // Ann. Pure and Appl. Logic. | 2002. | Vol. 116,
No. 1. | P. 157{186.
[165]
Evans D. M.
of algebraic closure / D. M. Evans, M. E. Pantano // J. Symbolic
Logic. | 2002. | Vol. 67, No. 3. | P. 897{909.
[166]
Evans D. M.
Logic. | 2003. | Vol. 68, No. 4. | P. 1385{1402.
[167]
Evans D. M.
M. Wing Ho Wong // J. Symbolic Logic. | 2009. | Vol. 74,
No. 4. | P. 1143{1154.
[168]
Evans D. M.
uncollapsed case / D. M. Evans, M. S. Ferreira // Ann. Pure and
Appl. Logic. | 2011. | Vol. 162, No. 6. | P. 474{488.
[169]
Evans D. M.
strongly minimal case / D. M. Evans, M. S. Ferreira // J. Symbolic
Logic. | 2012. | Vol. 77, No. 1. | P. 337{349.
D. M.
ℵ0-categorical structures with a predimension /
ℵ0-categorical structures with arbitrarily fast growth
Ample dividing / D. M. Evans // J. Symbolic
Some remarks on generic structures / D. M. Evans,
The geometry of Hrushovski constructions, I: The
The geometry of Hrushovski constructions, II: The
275
[170]
Evans D. M.
Hrushovski constructions / D. M. Evans, Z. Ghadernezhad,
K. Tent // Annals of Pure and Applied Logic. | 2016. |
Vol. 167. | P. 22{48.
[171]
Evans D. M.
phisms for classes of nite structures / D. M. Evans, J. Hubicka,
J. Nesetril // arXiv:1705.02379v1 [math.CO]. | 2017. | 33 p.
[172]
Evans D. M.
of sparse graphs / D. M. Evans, J. Hubicka, J. Nesetril //
arXiv:1801.01165v1 [math.GR]. | 2018. | 48 p.
[173]
Fokina E. B.
V. Harizanov, A. G. Melnikov. | Vienna : University of Vienna,
Washington : George Washington University, Singapore : Nanyang
Technological University, 2014. | 77 p. | (Preprint).
[174]
Frasse R.
bres rationnels / R. Frasse // C.R. Acad. Sci. Paris. | 1953. |
Vol. 237. | P. 540{542.
Simplicity of the automorphism group of some
Ramsey properties and extending partial automor-
Automorphism groups and Ramsey properties
Computable Model Theory / E. B. Fokina,
Sur certaines relations qui generalisent l'ordre des nom-
276
[175]
F
rasse R.
des ordres / R. Frasse // Annales Scientiques de l'Ecole Normale
Superieure. Troisieme Serie. | 1954. | Vol. 71. | P. 363{388.
[176]
Garavaglia S.
// J. Symbolic Logic | 1980. | Vol. 45, No. 1. | P. 155{164.
[177]
Gavryushkin A. N.
A. N. Gavryushkin // Algebra and Logic. | 2006. | Vol. 45,
No. 5. | P. 289{295.
[178]
Gavryushkin A. N.
theories / A. N. Gavryushkin // Algebra and Logic. | 2007. |
Vol. 46, No. 3. | P. 149{157.
[179]
Gavryushkin A. N.
theories with linear Rudin-Keisler ordering / A. N. Gavryushkin
// Vestnik NGU. Series: Mathematics, Mechanics, Informatics. |
2009. | Vol. 9, No 2. | P. 30{37. [in Russian]
[180]
Gavryushkin A. N.
// Reports of Irkutsk State University. Series \Mathematics". |
2009. | Vol. 2, No 2. | P. 56{61.
Sur l'extension aux relations de quelques proprietes
Decomposition of totally transcendental modules
Complexity of Ehrenfeucht models /
Spectra of computable models for Ehrenfeucht
Gavryushkin A. On constructive models of
Computable limit models / A. N. Gavryushkin
REFERENCES
[181]
Gavryushkin A. N.
A. N. Gavryushkin // Reports of Irkutsk State University. Series
\Mathematics". | 2010. | Vol. 3, No 4. | P. 7{20. [in Russian]
[182]
Gavryushkin A. N.
A. N. Gavryushkin. | Irkutsk : Irkutsk State University,
2011. | 17 p. | (Preprint).
[183]
Ghadernezhad Z.
Z. Ghadernezhad, K. Tent // J. of Algebra. | 2014. | Vol. 414. |
P. 72{81.
[184]
Ghadernezhad Z.
Extreme Amenability and Amenability / Z. Ghadernezhad,
H. Khalilian, M. Pourmahdian // arXiv:1508.04628v1
[math.LO]. | 2015. | 21 p.
[185]
Ghadernezhad Z.
groups of ab-initio generic structures / Z. Ghadernezhad //
arXiv:1510.00586v1 [math.LO]. | 2015. | 15 p.
New spectrum of computable models /
Computable limit models /
New simple groups with a BN-pair /
Automorphism Groups of Generic Structures:
The small index property of automorphism
REFERENCES
[186]
Gonchar
out constructivizable homogeneous models / S. S. Goncharov //
Algebra and Logic. | 1980. | Vol. 19, No 2. | P. 85{93.
[187]
Goncharov S. S.
ories and their applications / S. S. Goncharov, M. Pourmahdian
// Algebra and Logic. | 1995. | Vol. 34, No. 6. | P. 346{358.
[188]
Goncharov S. S.
S. S. Goncharov // Mathematical problems from applied logic II:
logics for the XXIst century / eds.: D. M. Gabbay, S. S. Goncharov,
M. Zakharyaschev. | Hardcover : Springer, 2007. | P. 99{216.
[189]
Goncharov S. S.
constructivizations / S. S. Goncharov // Algebra and Logic. |
2009. | Vol. 48, No 6. | P. 410{417.
[190]
Goncharov S. S.
tive to strong constructivizations / S. S. Goncharov // Russian
Mathematical Surveys. | 2010. | Vol. 65, No 5. | P. 901{935.
[191]
Goode J. B.
berichte, 104. | Berlin : Humbolt Universitat zu Berlin, 1989. |
P. 106{117.
ov S. S.
A totally transcendental decidable theory with-
Iterated expansions of models for countable the-
Computability and Computable Models /
Autostability of prime models under strong
On autostability of almost prime models rela-
Hrushovski's geometries / J. B. Goode // Seminar-
277
[192]
Guingona V.
Collapse of Generalized Indiscernibles / V. Guingona, C. D. Hill,
L. Scow // arXiv:1511.07245v1 [math.LO]. | 2015. | 18 p.
[193]
Harizanov V. S.
V. Harizanov // Handbook of Recursive Mathematics. Vol. 1 /
eds.: Yu. L. Ershov, S. S. Goncharov, A. Nerode, J. B. Remmel,
V. W. Marek. | Amsterdam : Elsevier, 1998. | P. 3{114.
[194]
Harnik V.
// Ann. Pure and Appl. Logic. | 1984. | Vol. 26. No. 3. |
P. 245{286.
[195]
Hart B.
M. Valeriote // Trans. Amer. Math. Soc. | 1994. | Vol. 342,
No. 1. | P. 173{196.
Characterizing Model-Theoretic Dividing Lines via
Pure computable model theory, Chapter 1 /
Fundamentals of forking / V. Harnik, L. Harrington
Vaught's conjecture for varieties / B. Hart, S. Starchenko,
278
[196]
Hart
B.
The uncountable spectra of countable theories / B. Hart,
E. Hrushovski, M. S. Laskowski // Ann. Math. | 2000. |
Vol. 152, No. 1. | P. 207{257.
[197]
Hasson A.
A. Hasson. | Jerusalem : Einstein Institute of Mathematics,
2004. | (Preprint).
[198]
Hasson A.
E. Hrushovski. | Jerusalem : Einstein Institute of Mathematics,
2005. | 25 p. | (Preprint).
[199]
Hasson A.
minimal sets / A. Hasson. | Jerusalem : Einstein Institute of
Mathematics, 2005. | 29 p. | (Preprint).
[200]
Hasson A.
J. Symbolic Logic. | 2006. | Vol. 71, No. 2. | P. 361{398.
[201]
Hasson A.
2007. | Vol. 145, No. 1. | P. 96{114.
Collapsing structure and a theory of envelopes /
DMP in strongly minimal structures / A. Hasson,
Interpreting structures of nite Morley rank in strongly
Fusion over sublanguages / A. Hasson, M. Hils //
Interpreting structures of nite Morley rank in strongly
REFERENCES
[202]
Hasson A.
collapsed case // A. Hasson, O. Mermelstein // arXiv:1305.2155v1
[math.LO]. | 2013. | 42 p.
[203]
Hasson A.
son, O. Mermelstein // arXiv:1709.07209v1 [math.LO]. | 2017. |
10 p.
[204]
Henson C. W.
C. W. Henson // Pacic J. Math. | 1971. | Vol. 38, No. 1. |
P. 69{83.
[205]
Henson C. W.
categorical theories / C. W. Henson // J. Symbolic Logic. |
1972. | Vol. 37, No. 3. | P. 494{500.
[206]
Herwig B.
// J. Symbolic Logic. | 1995. | Vol. 60, No. 2. | P. 353{373.
On reducts of Hrushovski's construction | the non-
A variant of Hrushovski's construction // A. Has-
A family of countable homogeneous graphs /
Countable homogeneous relational structures and
Weightωin stable theories with few types / B. Herwig
REFERENCES
[207]
Herwig
B.
Extending partial automorphisms on nite structures /
B. Herwig // Combinatorica. | 1995. | Vol. 15, No. 3. | P. 365{
371.
[208]
Herwig B.
property of many
Extending partial isomorphisms for the small index
omega
-categorical structures / B. Herwig //
Israel J. Math. | 1998. | Vol. 107, No. 1. | P. 93{123.
[209]
Herwig B.
Extending partial automorphisms and the pronite
topology on free groups / B. Herwig, D. Lascar // Trans. Amer.
Math. Soc. | 1999. | Vol. 352, No. 5. | P. 1985{2021.
[210]
Herwig B.
Constructive models of uncountably categorical the-
ories / B. Herwig, S. Lempp, M. Ziegler // Proc. Amer. Math.
Soc. | 1999. | Vol. 127, No. 12. | P. 3711{3719.
[211]
Hill C. D.
On super-robust classes of nite structures /
C. D. Hill. | Notre Dame : University of Notre Dame, 2012. |
24 p. | (Preprint).
C. D. Hill // Annals of Pure and Applied Logic. | 2013. |
Vol. 164, No. 10. | P. 907{927.
279
[213]
Hill C. D.
On semi/tame classes of nite structures / C. D. Hill. |
Middletown : Wesleyan University, 2016. | 36 p. | (Preprint).
[214]
Hils M.
Generic automorphisms and green elds / M. Hils // J.
London Math. Soc. | 2012. | Vol. 85, No. 2. | P. 223{244.
[215]
Hjorth G.
Borel equivalence relations and classications of count-
able models / G. Hjorth, A. S. Kechris // Ann. Pure and Appl.
Logic. | 1996. | Vol. 82, No. 3. | P. 221{272.
[216]
Hjorth G.
Independently axiomatizable
L
ω1,ω
G. Hjorth, I. A. Souldatos // J. Symbolic Logic. | 2009. | Vol. 74,
No. 4. | P. 1273{1286.
[217]
Holland K.
An introduction to fusions of strongly minimal sets:
The geometry of fusions / K. Holland // Archive for Math.
Logic. | 1995. | Vol. 34, No. 6. | P. 395{413.
theories /
280
[218]
Hol
land K.
// Ann. Pure and Appl. Logic. | 1997. | Vol. 83, No. 1. | P. 1{
22.
[219]
Holland K.
K. Holland // J. Symbolic Logic. | 1999. | Vol. 64, No. 3. |
P. 946{962.
[220]
Hrushovski E.
// Logic Colloquium '85. | Amsterdam : North Holland, 1987. |
Vol. 122: Studies in logic and the foundations of mathematics. |
P. 233{244.
[221]
Hrushovski E.
E. Hrushovski. | Jerusalem : Hebrew University, 1988. |
(Preprint).
[222]
Hrushovski E.
bolic Logic. | 1989. | Vol. 54, No. 1. | P. 221{225.
elds / E. Hrushovski // Israel J. Math. | 1992. | Vol. 79, No. 2{
3. | P. 129{151.
Strongly minimal fusions of vector spaces / K. Holland
Model completeness of the new strongly minimal sets /
Weakly normal groups / E. Hrushovski, A. Pillay
A stable
Finitely based theories / E. Hrushovski // J. Sym-
ℵ0-categorical pseudoplane /
REFERENCES
[224]
Hrushovski E.
E. Hrushovski // Combinatorica. | 1992. | Vol. 12, No. 4. |
P. 204{218.
[225]
Hrushovski E.
Ann. Pure and Appl. Logic. | 1993. | Vol. 62, No. 2. | P. 147{
166.
[226]
Hrushovski E.
J. Amer. Math. Soc. | 1996. | Vol. 9, No. 1. | P. 1{55.
[227]
Hubicka J.
J. Nesetril // arXiv:1402.2700. | 2014. | 22 p.
[228]
Hubicka J.
sures and forbidden homomorphisms) / J. Hubicka, J. Nesetril //
arXiv:1606.07979. | 2016. | 58 p.
Extending partial isomorphisms of graphs /
A new strongly minimal set / E. Hrushovski //
Zariski geometries / E. Hrushovski, B. I. Zil'ber //
Bowtie-free graphs have a Ramsey lift / J. Hubicka,
All those Ramsey classes (Ramsey classes with clo-
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]