Geodesic
Definable families of theories, related calculi and ranks
Sibirskie èlektronnye matematičeskie izvestiâ, Tome 17 (2020), pp. 700-714.

Voir la notice de l'article provenant de la source Math-Net.Ru

We consider sentence-definable and diagram-definable subfamilies of given families of theories, calculi for these subfamilies, as well dynamics and characteristics of these subfamilies with respect to rank and degree.
Keywords: family of theories, definable subfamily, rank, degree.
Mots-clés : calculus 
@article{SEMR_2020_17_a11,
     author = {N. D. Markhabatov and S. V. Sudoplatov},
     title = {Definable families of theories, related calculi and ranks},
     journal = {Sibirskie \`elektronnye matemati\v{c}eskie izvesti\^a},
     pages = {700--714},
     publisher = {mathdoc},
     volume = {17},
     year = {2020},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/SEMR_2020_17_a11/}
}
TY  - JOUR
AU  - N. D. Markhabatov
AU  - S. V. Sudoplatov
TI  - Definable families of theories, related calculi and ranks
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2020
SP  - 700
EP  - 714
VL  - 17
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SEMR_2020_17_a11/
LA  - en
ID  - SEMR_2020_17_a11
ER  - 
%0 Journal Article
%A N. D. Markhabatov
%A S. V. Sudoplatov
%T Definable families of theories, related calculi and ranks
%J Sibirskie èlektronnye matematičeskie izvestiâ
%D 2020
%P 700-714
%V 17
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SEMR_2020_17_a11/
%G en
%F SEMR_2020_17_a11
N. D. Markhabatov; S. V. Sudoplatov. Definable families of theories, related calculi and ranks. Sibirskie èlektronnye matematičeskie izvestiâ, Tome 17 (2020), pp. 700-714. http://geodesic.mathdoc.fr/item/SEMR_2020_17_a11/

[1] S. V. Sudoplatov, Ranks for families of theories and their spectra, 2019, 17 pp., arXiv: 1901.08464v1 [math.LO] | MR

[2] N. D. Markhabatov, S. V. Sudoplatov, Ranks for families of all theories of given languages, 2019, 9 pp., arXiv: 1901.09903v1 [math.LO] | MR

[3] S.V. Sudoplatov, “Combinations of structures”, Izv. Irkutsk. Gos. Univ., Ser. Mat., 24 (2018), 65–84 | MR | Zbl

[4] S.V. Sudoplatov, “Closures and generating sets related to combinations of structures”, Izv. Irkutsk. Gos. Univ., Ser. Mat., 16 (2016), 131–144 | MR | Zbl

[5] S.V. Sudoplatov, “Families of language uniform theories and their generating sets”, Izv. Irkutsk. Gos. Univ., Ser. Mat., 16 (2016), 62–76 | MR | Zbl

[6] S.V. Sudoplatov, “Combinations related to classes of finite and countably categorical structures and their theories”, Sib. Electron. Mat. Izv., 14 (2017), 135–150 | MR | Zbl

[7] S.V. Sudoplatov, “Relative $e$-spectra and relative closures for families of theories”, Sib. Elektron. Mat. Izv., 14 (2017), 296–307 | MR | Zbl

[8] S.V. Sudoplatov, “On semilattices and lattices for families of theories”, Sib. Elektron. Mat. Izv., 14 (2017), 980–985 | MR | Zbl

[9] S.V. Sudoplatov, Approximations of theories, 2019, 16 pp., arXiv: 1901.08961v1 [math.LO]

[10] S. Feferman, R. Vaught, “The first order properties of products of algebraic systems”, Fund. Math., 47 (1959), 57–103 | DOI | MR | Zbl

[11] M. Morley, “Categoricity in Power”, Trans. Am. Math. Soc., 114:2 (1965), 514–538 | DOI | MR | Zbl

[12] S. Koppelberg, Handbook of Boolean Algebras, v. 1, eds. J.D. Monk, R. Bonnet, North-Holland, Amsterdam, 1989 | MR | Zbl

[13] D. Myers, “Lindenbaum–Tarski Algebras”, Handbook of Boolean Algebras, 3, eds. J.D. Monk, R. Bonnet, Nort-Holland, Amsterdam, 1989, 1167–1195 | MR

[14] Yu.L. Ershov, E.A. Palyutin, Mathematical logic, FIZMATLIT, M., 2011 | MR | Zbl