Добавил:
ivanov666
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз:
Предмет:
Файл:Classification of countable models of complete theories. Р.1. Monograph in two parts
.pdf
REFERENCES
[229]
Ike
da K.
A. Pillay, A. Tsuboi // Math. Logic Quarterly. | 1998. | Vol. 44,
No. 2. | P. 161{166.
[230]
Ikeda K.
trary nite dimensions / K. Ikeda // J. Symbolic Logic. | 2001. |
Vol. 66, No. 1. | P. 117{126.
[231]
Ikeda K.
Dame Journal of Formal Logic. | 2002. | Vol. 43, No. 4. |
P. 249{254.
[232]
Ikeda K.
erty / K. Ikeda, H. Kikyo, A. Tsuboi // J. Symbolic Logic. |
2009. | Vol. 74, No. 3. | P. 721{733.
[233]
Ikeda K.
able models / K. Ikeda // 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. 214{226.
On theories having three countable models / K. Ikeda,
Minimal but not strongly minimal structures with arbi-
A note on generic projective planes / K. Ikeda // Notre
On generic structures with a strong amalgamation prop-
A remark on generic structures and the number of count-
281
[234]
Ikeda K.
Model theoretic aspects ofthe notion of independence and dimen-
sion. RIMS K^oky^uroku 1741 / ed. A. Tsuboi. | Kyoto : Research
Institute for Mathematical Sciences, Kyoto University, 2011. |
P. 9{12.
[235]
Ikeda K.
notω-stable // Archive for Math. Logic. | 2012. | Vol. 51, No. 1{
2. | P. 203{211.
[236]
Ikeda K.
// Archive for Math. Logic. | 2012. | Vol. 51, No. 5{6. | P. 591{
600.
[237]
Ikeda K.
tures / K. Ikeda // Proceedings of the 13th Asian Logic Con-
ference, Kobe, Japan, 16{20 September 2013 / eds.: X. Zhao,
Q. Feng, B. Kim, L. Yu. | Singapore : World Scientic, 2015. |
P. 105{113.
An unsaturated generic structure / K. Ikeda, H. Kikyo //
Ab initio generic structures which are superstable but
On superstable generic structures / K. Ikeda, H. Kikyo
Some Questions Concerning Ab Initio Generic Struc-
282
[238]
Ike
da K.
Model Complete Generic Structures / K. Ikeda, H. Kikyo
// Proceedings of the 13th Asian Logic Conference, Kobe, Japan,
16{20 September 2013 / eds.: X. Zhao, Q. Feng, B. Kim, L. Yu. |
Singapore : World Scientic, 2015. | P. 114{123.
[239]
Ilic D.
D. Ilic, S. Moconja, P. Tanovic // Publicationes de l'Institute
Mathematique. Nouvelle serie. | 2015. | Vol. 97 (111). | P. 33{
41.
[240]
Ivanov A. A.
minimal theories of graphs, and groups with more than one end /
A. A. Ivanov // Algebra and Logic. | 1989. | Vol. 28, No. 2. |
P. 160{173.
[241]
Ivanov A. A.
minimal theories of graphs / A. A. Ivanov // Algebra and Logic. |
1989. | Vol. 28, No. 3. | P. 280{297.
[242]
Ivanov A.
mantics of generalized quantiers / A. Ivanov // J. Symbolic
Logic. | 1999. | Vol. 64, No. 2. | P. 775{789.
Groups with nitely many countable models /
The problem of nite axiomatizability for strongly
The problem of nite axiomatizability for strongly
Generic expansions ofω-categorical structures and se-
REFERENCES
[243]
Ivanov A.
A. Ivanov // arXiv:1310.7116v1 [math.LO]. | 2013. | 20 p.
[244]
Ivanov A.
countably categorical structures / A. Ivanov // arXiv:1412.6657v1
[math.LO]. | 2014. | 17 p.
[245]
Jonsson B.
Scand. | 1956. | Vol. 4. | P. 193{208.
[246]
Jonsson B.
son // Math. Scand. | 1960. | Vol. 8. | P. 137{142.
[247]
Kabluchko Z.
Z. Kabluchko, K. Tent // arXiv:1710.06137v1 [math.LO]. |
2017. | 8 p.
[248]
Kabluchko Z.
arXiv:1711.09295v1 [math.LO]. | 2017. | 7 p.
Extreme amenability and nice enumerations /
Topological dynamics of automorphism groups of
Universal relational systems / B. Jonsson // Math.
Homogeneous universal relational systems / B. Jons-
Universal-homogeneous structures are generic /
On weak Frasse limits / Z. Kabluchko, K. Tent //
REFERENCES
[249]
Kaplan
plan, P. Simon // arXiv:1709.01918v1 [math.GR]. | 2017. | 34 p.
[250]
Kechris A. S.
namics of automorphism groups / A. S. Kechris, V. G. Pestov,
S. Todorcevic // Geometric and Functional Analysis. | 2005. |
Vol. 15, No. 1. | P. 106{189.
[251]
Kechris A. S.
phisms of homogeneous structures / A. S. Kechris, C. Rosendal //
Proc. London Math. Soc. | 2007. | Vol. 94, No. 2. | P. 302{350.
[252]
Kechris A. S.
topological dynamics of the group of measure preserving automor-
phisms: some results and an open problem / A. S. Kechris, M.
Sokic, S. Todorcevic. | Pasadena : California Institute of Tech-
nology, 2015. | 16 p. | (Preprint).
[253]
Keisler H. J., Morley M. D.
els of a given power / H. J. Keisler, M. D. Morley // Israel J.
Math. | 1967. | Vol. 5, No. 2. | P. 73{78.
I.
Automorphism groups of nite topological rank / I. Ka-
Frasse limits, Ramsey theory, and topological dy-
Turbulence, amalgamation and generic automor-
Ramsey properties of nite measure algebras and
On the number of homogeneous mod-
283
[254]
Khoussainov B.
B. Khoussainov, A. Nies, R. A. Shore // Notre Dame J. Formal
Logic. | 1997. | Vol. 38, No. 2. P. 165{178.
[255]
Kim B.
Appl. Logic. | 1997. | Vol. 88, No. 2{3. | P. 149{164.
[256]
Kim B.
Math. Soc. | 1998. | Vol. 57, No. 2. | P. 257{267.
[257]
Kim B.
persimple theory / B. Kim // J. London Math. Soc. | 1999. |
Vol. 60, No. 2. | P. 641{645.
[258]
Kim B.
A. S. Kolesnikov, A. Tsuboi // Ann. Pure and Appl. Logic. |
2008. | Vol. 155, No. 2. | P. 97{114.
[259]
Kiouvrekis Y.
nalities / Y. Kiouvrekis, P. Stefaneas, S. V. Sudoplatov // Siberian
Advances in Mathematics. | 2018. | Vol. 28, No. 1. | P. 39{52.
Simple theories / B. Kim, A. Pillay // Ann. Pure and
Forking in simple unstable theories / B. Kim // J. London
On the number of countable models of a countable su-
Generalized amalgamation andn-simplicity / B. Kim,
Recursive models of theories with few models /
Denable sets in generic structures and their cardi-
284
[260]
Knight
R. W. Knight. | Oxford : Oxford University, 2002. | 117 p. |
(Preprint).
[261]
Kruckman A.
ably categorical theories / A. Kruckman // arXiv:1510.03539v1
[math.LO]. | 2015. | 14 p.
[262]
Kubis W.
its / W. Kubis // arXiv:1210.6506v3 [math.CT]. | 2012. | 33 p.
[263]
Kubis W.
versal homogeneous structures / W. Kubis // Ann. Pure and Appl.
Logic. | 2014. | Vol. 165, No. 11. | P. 1755{1811.
[264]
Kubis W.
W. Kubis // Forum Math. | 2015. | Vol. 27. | P. 807{842.
[265]
Kubis W.
arXiv:1712.03300v1 [math.CT]. | 2017. | 22 p.
[266]
Kudaibergenov K. Zh.
K. Zh. Kudaibergenov // Siberian Advances in Math. | 1993. |
Vol. 3, No. 1. | P. 1{33.
R. W.
Metric-enriched categories and approximate Frasse lim-
The Vaught conjecture: A counterexample /
Disjointn-amalgamation and pseudonite count-
Frasse sequences: category-theoretic approach to uni-
Injective objects and retracts of Frasse limits /
Weak Frasse categories / W. Kubis //
Homogeneous models of stable theories /
REFERENCES
[267]
Kudaibergenov K. Zh.
complete theory / K. Zh. Kudaibergenov // Amer. Math. Soc.
Transl. | 1999. | Vol. 195, No. 2. | P. 187{204.
[268]
Kudaibergenov K. Zh.
class of nitely generated structures / K. Zh. Kudaibergenov //
Siberian Advances in Mathematics. (to appear)
[269]
Kueker D. W.
M. C. Laskowski // Notre Dame J. of Formal Logic. | 1992. |
Vol. 33, No. 2. | P. 175{183.
[270]
Kulpeshov B. Sh.
formulas for quiteo-minimal theories / B. Sh. Kulpeshov, S. V. Su-
doplatov // Reports of NAS RK. Physical-mathematical series. |
2015. | Vol. 300, No. 2. | P. 5{13. [in Russian]
The number of homogeneous models of a
On Frasse Theorem for an uncountable
On generic structures / D. W. Kueker,
On algebras of distributions of binary isolating
REFERENCES
[271]
Kulp
eshov B. Sh.
with non-maximum many countable models / B. Sh. Kulpeshov,
S. V. Sudoplatov // Bulletin of Karaganda University. Series
\Mathematics". | 2016. | Vol. 81, No. 1. | P. 68{75. [in Rus-
sian]
[272]
Kulpeshov B. Sh.
ries / B. Sh. Kulpeshov, S. V. Sudoplatov // Ann. Pure and Appl.
Logic. | 2017. | Vol. 168, No. 1. | P. 129{149.
[273]
Kulpeshov B. Sh.
Countably Categorical / B. Sh. Kulpeshov, S. V. Sudoplatov //
Mathematical Notes. | 2017. | Vol. 101, No. 3. | P. 94{102.
[274]
Kulpeshov B. Sh.
minimal Ehrenfeucht theories / B. Sh. Kulpeshov, S. V. Sudopla-
tov // arXiv:1802.08078v1 [math.LO]. | 2018. | 13 p.
[275]
Kulpeshov B. Sh.
models of theories / B. Sh. Kulpeshov, S. V. Sudoplatov //
arXiv:1802.08088v1 [math.LO]. | 2018. { 11 p.
On behaviour of2-formulas in ordered theories
Vaughts conjecture for quite o-minimal theo-
Linearly Ordered Theories which are Nearly
Distributions of countable models of quiteo-
On relative separability in hypergraphs of
285
[276]
Kulpeshov B. Sh.
ory / B. Sh. Kulpeshov, S. V. Sudoplatov // arXiv:1802.08092v2
[math.LO]. | 2018. | 14 p.
[277]
Kulpeshov B. Sh.
of models of theories / B. Sh. Kulpeshov, S. V. Sudoplatov //
arXiv:1802.08094v2 [math.LO]. | 2018. | 19 p.
[278]
Lachlan A. H.
superstable theory / A. H. Lachlan // Proc. Int. Cong. Logic,
Methodology and Philosophy of Science. | Amsterdam : North-
Holland, 1973. | P. 45{56.
[279]
Lachlan A. H.
categorical theories / A. H. Lachlan // Fund. Math. | 1974. |
Vol. 81. | P. 133{145.
[280]
Lachlan A. H.
A. Lachlan, R. Woodrow // Trans. Amer. Math. Soc. | 1980. |
Vol. 262, No. 1. | P. 51{94.
On structures in hypergraphs of models of a the-
On freedom and independence in hypergraphs
On the number of countable models of a countable
Two conjectures regarding the stability ofω-
Countable ultrahomogeneous undirected graphs /
286
[281]
L
achlan A. H.
lan // Trans. Amer. Math. Soc. | 1984. | Vol. 284, No. 2. |
P. 431{461.
[282]
La limite
E. Hrushovski, P. Koiran, B. Poizat // J. Symbolic Logic. |
2002. | Vol. 67, No. 1. | P. 24{34.
[283]
Lascar D.
car // Israel J. Math. | 1976. | Vol. 23, No. 1. | P. 53{87.
[284]
Lascar D.
d'une theorie / D. Lascar // Colloq. Int. Log. 1975. | Clermont-
Ferrand : Universite de Clermont-Ferrand, 1977. | P. 73{81.
[285]
Lascar D.
J. Symbolic Logic. | 1979. | Vol. 44, No. 3. | P. 330{350.
[286]
Lascar D.
bles / D. Lascar // Z. Math. Logik Grundlagen Math. | 1982. |
Countable homogeneous tournaments / A. H. Lach-
des theories de courbes generiques / O. Chapuis,
Ranks and denability in superstable theories / D. Las-
Generalization de l'ordre de Rudin{Keisler aux types
An introduction to forking / D. Lascar, B. Poizat //
Ordre de Rudin{Keisler et poids dans les theories sta-
REFERENCES
[287]
Laskowski M.C.
almost sure theories / M. C. Laskowski // Israel J. Math. |
2007. | Vol. 161, No. 1. | P. 157{186.
[288]
Lempp S.
ries and of Ehrenfeucht theories / S. Lempp, T. Slaman // Contem-
porary Mathematics. Vol. 425. Advances in logic. | Providence :
Amer. Math. Soc., 2007. | P. 43{47.
[289]
Loveys J.
coding / J. Loveys, P. Tanovic // J. Symbolic Logic. | 1996. |
Vol. 61, No. 4. | P. 1279{1286.
[290]
Low L. F.
L. F. Low, A. Pillay // Archive for Math. Logic. | 1992. | Vol. 31,
No. 6. | P. 457{465.
[291]
MacPherson H. D.
H. D. Macpherson, M. Pouzet, R. Woodrow, Robert // J. Symbolic
Logic. | 1992. | Vol. 57, No. 3. | P. 992{1010.
The complexity of the index sets of
Countable models of trivial theories which admit nite
A simpler axiomatization of the Shelah-Spencer
ℵ0-categorical theo-
Superstable theories with few countable models /
Countable structures of given age /
REFERENCES
[292]
MacPherson
son, C. Steinhorn // Ann. Pure and Appl. Logic. | 1996. |
Vol. 79, No. 2. | P. 165{209.
[293]
MacPherson H. D.
H. D. MacPherson, K. Tent // J. of Algebra. | 2011. | Vol. 342,
No. 1. | P. 40{52.
[294]
MacPherson H. D.
H. D. MacPherson // Discr. Math. | 2011. | Vol. 311, No. 15. |
P. 1599{1634.
[295]
Mal'tsev A. I.
certain types / A. I. Mal'tsev // Siberian Math. J. | 1962. |
Vol. 3, No. 5. | P. 729{743.
[296]
Marcus L.
function / L. Marcus // Fundam. Math. | 1980. | V. 108. |
P. 171{181.
sumoto // J. Symbolic Logic. | 2017. | Vol. , No. 4. | P. 1541{
1559.
H. D.
On variants ofo-minimality / H. D. MacPher-
Simplicity of some automorphism groups /
A survey of homogeneous structures /
Axiomatizable classes of locally free algebras of
The number of countable models of a theory of unary
287
[298]
Masumoto Sh.
Sh. Masumoto // arXiv:1611.06383v1 [math.LO]. | 2016. | 13 p.
[299]
Mayer L. L.
// J. Symbolic Logic. | 1988. | Vol. 53, No. 1. | P. 146{159.
[300]
Melleray J., Tsankov T.
tinuous logic / J. Melleray, T. Tsankov // arXiv:1404.4950v1
[math.LO]. | 2014. | 13 p.
[301]
Mermelstein O.
tio Hrushovski constructions of varying degrees of symmetry /
O. Mermelstein // arXiv:1603.05170v1 [math.LO]. | 2016. |
33 p.
[302]
Mermelstein O.
melstein // arXiv:1709.07353v1 [math.LO]. | 2017. | 8 p.
On a generalized Frasse limit construction /
Vaught's conjecture foro-minimal theories / L. Mayer
Extremely amenable groups via con-
Reduction relations between non-collapsed ab ini-
An ab initio construction of a geometry / O. Mer-
288
[303]
Mil
lar T. S.
countable models / T. S. Millar // Aspects of Eective Algebra /
ed. J. N. Grossley. | Yarra Glen : Upside Down A Book Company,
1981. | P. 196{205.
[304]
Millar T. S.
T. S. Millar // J. Symbolic Logic. | 1983. | Vol. 48, No. 1. |
P. 171{181.
[305]
Millar T. S.
models / T. S. Millar // Trans. Amer. Math. Soc. | 1983. |
Vol. 278, No. 1. | P. 91{99.
[306]
Millar T. S.
Proc. Sympos. Pure Math. | 1985. | Vol. 42. | P. 311{321.
[307]
Millar T. S.
els / T. S. Millar // J. Symbolic Logic. | 1989. | Vol. 54, No. 2. |
P. 264{270.
book of Computability Theory / ed. E. R. Grior. | Elsevier Sci-
ence B. V., 1999. | P. 507{532.
Stability, complete extensions, and the number of
Omitting Types, Type Spectrums, and Decidability /
Persistently nite theories with hyperarithmetic
Decidable Ehrenfeucht theories / T. S. Millar //
Finite extensions and the number of countable mod-
REFERENCES
[309]
Miller A.
A. Miller // Fundam. Math. | 1981. | Vol. 111. | P. 135{141.
[310]
Morley M.
Math. Soc. | 1965. | Vol. 114, No. 2. | P. 514{538.
[311]
Morley M.
ley // Israel J. Math. | 1967. | Vol. 5, No. 1. | P. 65{72.
[312]
Morley M.
J. Symbolic Logic. | 1970. | Vol. 35, No. 1. | P. 14{18.
[313]
Morley M.
1976. | Vol. 25. | P. 233{240.
[314]
Morozov A. S.
A. S. Morozov // Algebra and logic. | 1982. | Vol. 21, No. 3. |
. 181{190.
Vaught's conjecture for theories of one unary operation /
Categoricity in power / M. Morley // Trans. Amer.
Countable models of
The number of countable models / M. Morley //
Decidable models / M. Morley // Israel J. Math. |
Countable homogeneous boolean algebras /
ℵ1-categorical theories / M. Mor-
REFERENCES
[315]
M
uller I.
Groups / I. Muller // arXiv:1501.04613v1 [math.LO]. | 2015. |
18 p.
[316]
Mustan T. G.
plete theory / T. G. Mustan // Algebra and Logic. | 1981. |
Vol. 20, No. 1. | P. 48{65.
[317] Nesetril J. Ramsey classes and homogeneous struc-
tures/ J. Nesetril // Combinatorics, Probability & Computing. |
2005. | Vol. 14, No. 1{2. | P. 171{189.
[318]
Newelski L.
Math. | 1990. | Vol. 134. | P. 143{155.
[319]
Newelski L.
bolic Logic. | 1996. | Vol. 61, No. 1. | P. 318{333.
[320]
Newelski L.M-gap conjecture and m-normal theories / L. Newel-
ski // Israel J. Math. | 1998. | Vol. 106. | P. 285{311.
[321]
Newelski L.
L. Newelski // Israel J. Math. | 1999. | Vol. 112, No. 1. |
P. 271{300.
Frasse Structures with Universal Automorphism
Number of countable models of a countable com-
A proof of Sae's conjecture / L. Newelski // Fundam.
On atomic or saturated sets / L. Newelski // J. Sym-
Vaught's conjecture for some meager groups /
289
[322]
Newelski L.
Doc. Math. | 1998. | Extra Volume ICM. II. | P. 33{42.
[323]
Newelski L.
Archive for Math. Logic. | 2003. | Vol. 42, No. 6. | P. 601{616.
[324]
Omarov B.
B. Omarov // Algebra and Logic. | 1983. | Vol. 22, No. 5. |
P. 390{397.
[325]
Omarova G. A.
G. A. Omarova // Model-theoretic algebra. | Alma-Ata : Edition
of Kazakh State University, 1989. | P. 105{117. [in Russian]
[326]
Ovchinnikova E. V.
E. V. Ovchinnikova, S. V. Sudoplatov // Algebra and Model The-
ory 5. Collection of papers / eds.: A. G. Pinus, K. N. Pono-
maryov. | Novosibirsk : NSTU, 2005. | P. 132{138.
Meager forking andm-independence / L. Newelski //
Very simple theories without forking / L. Newelski //
Nonessential extensions of complete theories /
Constructive models of Ehrenfeucht theories /
On generating elements in generic algebras /
290
[327]
Ovchinnikova
mulas as derivative structures: for acyclic graphs / E. V. Ovchin-
nikova, S. V. Sudoplatov. | 9th Panhellenic Logic Sympo-
sium, July 15-18, 2013, National Technical University of Athens,
Greece. | Athens : NTUA, 2013. | P. 74{79.
[328]
Ovchinnikova E. V.
distributions of binary formulas / E. V. Ovchinnikova, S. V. Sudo-
platov // Lobachevskii Journal of Mathematics. | 2015. | Vol.
36, No. 4. | P. 403{406.
[329]
Palyutin E. A.
ories / E. A. Palyutin // Algebra and Logic. | 1971. | Vol. 10,
No. 1. | P. 15{20.
[330]
Palyutin E. A.
lyutin, J. Sae, S. S. Starchenko // Algebra and Logic. | 1985. |
Vol. 24, No. 3. | P. 171{210.
[331]
Palyutin E. A.
E. A. Palyutin, S. S. Starchenko // Amer. Math. Soc. Transl. |
1999. | Vol. 195, No. 2. | P. 225{284.
E. V.
Structures of distributions of isolating for-
Generations and quotients for algebras of
Models with countable-categorical universal the-
Models of superstable Horn theories / E. A. Pa-
Horn theories with nonmaximal spectrum /
REFERENCES
[332]
Paolini G.
arXiv:1709.06789v2 [math.LO]. | 2017. | 8 p.
[333]
Pavlyuk In.I.
closures / In. I. Pavlyuk, S. V. Sudoplatov // Proceedings of
the 11th Panhellenic Logic Symposium, July 12-16, 2017, Del-
phi, Greece. | Association for Symbolic Logic, European Mathe-
matical Society, University of Cyprus, Universite Lyon 1 Institut
Camille Jordan, National Technical University of Athens, Univer-
sity of Athens, 2017. | P. 45{49.
[334]
Peateld N.
struction / N. Peateld, B. Zilber // Ann. Pure and Appl. Logic. |
2005. | Vol. 132, No. 2{3. | P. 127{180.
[335]
Peretyat'kin M. G.
denumerable models / M. G. Peretyat'kin // Algebra and Logic. |
1973. | Vol. 12, No. 5. | P. 310{326.
New
On families of theories of Abelian groups and their
Analitic Zariski structures and the Hrushovski con-
ω
-Stable Planes / G. Paolini //
On complete theories with a nite number of
Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]