Geodesic
Approximating formulae
Sibirskie èlektronnye matematičeskie izvestiâ, Tome 21 (2024) no. 1, pp. 463-480
Cet article a éte moissonné depuis la source Math-Net.Ru

Voir la notice de l'article

The notion of a approximating formula is introduced. Links of approximating formulae and their spectra for pseudofiniteness are studied. Semilattices, lattices, and Boolean algebras related to approximating formulae are found. Rank values of approximating formulae are studied. Relations between approximating formulae and positive, negative, $\forall$-formulae, $\exists$-formulae, $\exists\forall$-formulae, $\forall\exists$-formulae are considered. Families of consistent formulae are considered and their approximability is characterized. The notion of totally approximating sentence is introduced and families of these sentences are characterized in terms of cardinalities of models and cardinalities of signatures.
Keywords: approximating formula, approximation of theory, spectrum of sentence.
Mots-clés : pseudofinite formula 
@article{SEMR_2024_21_1_a13,
     author = {S. V. Sudoplatov},
     title = {Approximating formulae},
     journal = {Sibirskie \`elektronnye matemati\v{c}eskie izvesti\^a},
     pages = {463--480},
     year = {2024},
     volume = {21},
     number = {1},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/SEMR_2024_21_1_a13/}
}
TY  - JOUR
AU  - S. V. Sudoplatov
TI  - Approximating formulae
JO  - Sibirskie èlektronnye matematičeskie izvestiâ
PY  - 2024
SP  - 463
EP  - 480
VL  - 21
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/SEMR_2024_21_1_a13/
LA  - en
ID  - SEMR_2024_21_1_a13
ER  - 
%0 Journal Article
%A S. V. Sudoplatov
%T Approximating formulae
%J Sibirskie èlektronnye matematičeskie izvestiâ
%D 2024
%P 463-480
%V 21
%N 1
%U http://geodesic.mathdoc.fr/item/SEMR_2024_21_1_a13/
%G en
%F SEMR_2024_21_1_a13
S. V. Sudoplatov. Approximating formulae. Sibirskie èlektronnye matematičeskie izvestiâ, Tome 21 (2024) no. 1, pp. 463-480. http://geodesic.mathdoc.fr/item/SEMR_2024_21_1_a13/

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

[2] 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 | DOI | MR | Zbl

[3] In.I. Pavlyuk, S.V. Sudoplatov, “Approximations for theories of abelian groups”, Mathematics and Statistics, 8:2 (2020), 220–224 | DOI | MR

[4] S.V. Sudoplatov, “Forcing of infinity and algebras of distributions of binary semi-isolating formulas for strongly minimal theories”, Mathematics and Statistics, 2:5 (2014), 183–187 | DOI | MR

[5] M.G. Peretyat'kin, Finitely axiomatizable theories, Consultants Bureau, New York, 1997 https://link.springer.com/book/9780306110627 | Zbl

[6] J. Ax, “The elementary theory of finite fields”, Ann. Math., 88:2 (1968), 239–271 | DOI | MR | Zbl

[7] E. Rosen, “Some aspects of model theory and finite structures”, Bull. Symb. Log., 8:3 (2002), 380–403 | DOI | MR | Zbl

[8] N.D. Markhabatov, S.V. Sudoplatov, “Pseudofinite formulae”, Lobachevskii J. Math., 43:12 (2022), 3583–3590 | DOI | MR | Zbl

[9] Yu.L. Ershov, “Fields with a solvable theory”, Sov. Math., Dokl., 8 (1967), 575–576 | MR | Zbl

[10] S.V. Sudoplatov, “Approximations of theories”, Sib. Èlectron. Mat. Izv., 17 (2020), 715–725 | DOI | MR | Zbl

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

[12] H. Scholz, G. Kreisel, L. Henkin, “Problems”, J. Symb. Log., 17:2 (1952), 160 https://www.jstor.org/stable/2266288 | DOI

[13] A. Durand, N. Jones, J. Makowsky, M. More, “Fifty years of the spectrum problem: Survey and new results”, Bull. Symb. Log., 18:4 (2012), 505–553 | DOI | MR | Zbl

[14] J.T. Baldwin, A.H. Lachlan, “On strongly minimal sets”, J. Symb. Log., 36:1 (1971), 79–96 | DOI | MR | Zbl

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

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

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

[18] B.Sh. Kulppeshov, S.V. Sudoplatov, “Spherical orders, properties and countable spectra of their theories”, Sib. Èlectron. Mat. Izv., 20:2 (2023), 588–599 http://semr.math.nsc.ru/v20/n2/p588-599.pdf | MR

[19] Yu.L. Ershov, Decidability problems and constructive models, Nauka, M., 1980 | Zbl

[20] Yu.L. Ershov, E.A. Palyutin, Mathematical Logic, 6th ed., Fizmatlit, M., 2011 https://www.fml.ru/book/showbook/1384 | Zbl