Geodesic
Approximating formulae
Sibirskie èlektronnye matematičeskie izvestiâ, Tome 21 (2024) no. 1, pp. 463-480.

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

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},
     publisher = {mathdoc},
     volume = {21},
     number = {1},
     year = {2024},
     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
PB  - mathdoc
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
%I mathdoc
%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/