Pseudofinite Formulae
Markhabatov N.D. Sudoplatov S.V.
December 2022Pleiades Publishing
Lobachevskii Journal of Mathematics
2022#43Issue 123583 - 3590 pp.
Abstract: The concept of a pseudofinite formula is introduced. Links of pseudofinite formulae and their spectra are studied. Boolean algebras, lattices and semilattices related to pseudofinite formulae are found. Relations between pseudofinite formulae and positive, negative, ∀-formulae, ∃-formulae, ∃∀-formulae, ∀∃-formulae are considered. The family of all consistent formulae in a given language is considered and the existence of non-pseudofinite consistent formulae in that language is characterized.
approximation of theory , pseudofinite formula , pseudofinite theory
Text of the article Перейти на текст статьи
L.N. Gumilyov Eurasian National University, Astana, 010008, Kazakhstan
Kazakh British Technical University, Almaty, 050000, Kazakhstan
Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, 630090, Russian Federation
Novosibirsk State Technical University, Novosibirsk, 630073, Russian Federation
L.N. Gumilyov Eurasian National University
Kazakh British Technical University
Sobolev Institute of Mathematics
Novosibirsk State Technical University
10 лет помогаем публиковать статьи Международный издатель
Книга Публикация научной статьи Волощук 2026 Book Publication of a scientific article 2026