Geodesic
Special relations for formulae, their equivalence relations and theories
Sibirskie èlektronnye matematičeskie izvestiâ, Tome 19 (2022) no. 1, pp. 259-272.

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

We study properties and characteristics for special relations of formulae in given languages producing equivalence relations both in general case and for elementary theories. Characteristics for chains of special relations and equivalence relations are described.
Keywords: special relation, theory.
Mots-clés : formula, equivalence relation 
@article{SEMR_2022_19_1_a10,
     author = {S. V. Sudoplatov},
     title = {Special relations for formulae, their equivalence relations and theories},
     journal = {Sibirskie \`elektronnye matemati\v{c}eskie izvesti\^a},
     pages = {259--272},
     publisher = {mathdoc},
     volume = {19},
     number = {1},
     year = {2022},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/SEMR_2022_19_1_a10/}
}
TY  - JOUR
AU  - S. V. Sudoplatov
TI  - Special relations for formulae, their equivalence relations and theories
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2022
SP  - 259
EP  - 272
VL  - 19
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/SEMR_2022_19_1_a10/
LA  - en
ID  - SEMR_2022_19_1_a10
ER  - 
%0 Journal Article
%A S. V. Sudoplatov
%T Special relations for formulae, their equivalence relations and theories
%J Sibirskie èlektronnye matematičeskie izvestiâ
%D 2022
%P 259-272
%V 19
%N 1
%I mathdoc
%U http://geodesic.mathdoc.fr/item/SEMR_2022_19_1_a10/
%G en
%F SEMR_2022_19_1_a10
S. V. Sudoplatov. Special relations for formulae, their equivalence relations and theories. Sibirskie èlektronnye matematičeskie izvestiâ, Tome 19 (2022) no. 1, pp. 259-272. http://geodesic.mathdoc.fr/item/SEMR_2022_19_1_a10/

[1] M.G. Peretyat'kin, Finitely axiomatizable theories, Plenum Publ. Corp., New York, 1997 | MR | Zbl

[2] Yu.L. Ershov, Definability and computability, Plenum Publ. Corp., New York, 1996 | MR | Zbl

[3] A. Pillay, Geometric stability theory, Clarendon Press, Oxford, 1996 | MR | Zbl

[4] S.V. Sudoplatov, “Ranks for families of theories and their spectra”, Lobachevskii J. Math., 42:12 (2021), 2959–2968 | DOI | MR | Zbl

[5] N.D. Markhabatov, S.V. Sudoplatov, “Ranks for families of all theories of given languages”, Eurasian Math. J., 12:2 (2021), 52–58 | MR | Zbl

[6] N.D. Markhabatov, S.V. Sudoplatov, “Definable families of theories, related calculi and ranks”, Sib. Èlektron. Mat. Izv., 17 (2020), 700–714 | DOI | MR | Zbl

[7] N.D. Markhabatov, S.V. Sudoplatov, “Algebras for definable families of theories”, Sib. Èlektron. Mat. Izv., 16 (2019), 600–608 | DOI | MR | Zbl

[8] N.D. Markhabatov, “Ranks for families of permutation theories”, Izv. Irkutsk. Gos. Univ., Ser. Mat., 28 (2019), 86–94 | MR | Zbl

[9] N.D. Markhabatov, “Pseudofiniteness of locally free algebras”, Algebra and Model Theory, 12, eds. Pinus A.G. et al., NSTU, Novosibirsk, 2019, 41–46

[10] S.V. Sudoplatov, “Formulas and properties, their links and characteristics”, Mathematics, 9:12 (2021), 1391 | DOI

[11] B.Sh. Kulpeshov, S.V. Sudoplatov, “Properties of ranks for families of strongly minimal theories”, Sib. Èlektron. Mat. Izv., 19:1 (2022), 120–124 | DOI | MR | Zbl

[12] A.S. Morozov, D.A. Tussupov, “Minimal predicates for $\Delta$-definability”, Algebra Logic, 59:4 (2020), 328–340 | DOI | MR | Zbl

[13] N.D. Markhabatov, S.V. Sudoplatov, “Topologies, ranks, and closures for families of theories. I”, Algebra Logic, 59:6 (2021), 437–455 | DOI | MR | Zbl

[14] N.D. Markhabatov, S.V. Sudoplatov, “Topologies, ranks, and closures for families of theories. II”, Algebra Logic, 60:1 (2021), 38–52 | DOI | MR | Zbl

[15] In.I. Pavlyuk, S.V. Sudoplatov, “Formulas and properties for families of theories of abelian groups”, Izv. Irkutsk. Gos. Univ., Ser. Mat., 36 (2021), 95–109 | MR | Zbl

[16] E.A. Palyutin, J. Saffe, S.S. Starchenko, “Models of superstable Horn theories”, Algebra Logic, 24:3 (1985), 171–210 | DOI | MR | Zbl

[17] A. Tarski, Fundamental concepts of the methodology of the deductive sciences. I, Logic, semantics, meta-mathematics, Papers from 1923 to 1938. Translated by J. H. Woodger, Clarendon Press, Oxford, 1956, 60–109 | MR | Zbl

[18] D. Myers, “Lindenbaum–Tarski Algebras”, Handbook of Boolean Algebras, v. 3, eds. J.D. Monk et al., North-Holland, Amsterdam etc., 1989, 1167–1195 | MR