Pseudofinite formulae Full article
| Journal |
Lobachevskii Journal of Mathematics
ISSN: 1995-0802 , E-ISSN: 1818-9962 |
||||||
|---|---|---|---|---|---|---|---|
| Output data | Year: 2022, Volume: 43, Number: 12, Pages: 177-184 Pages count : 8 DOI: 10.1134/S1995080222150215 | ||||||
| Tags | pseudofinite formula, pseudofinite theory, approximation of theory. | ||||||
| Authors |
|
||||||
| Affiliations |
|
Funding (1)
| 1 | Sobolev Institute of Mathematics | FWNF-2022-0012 |
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.
Cite:
Markhabatov N.D.
, Sudoplatov S.V.
Pseudofinite formulae
Lobachevskii Journal of Mathematics. 2022. V.43. N12. P.177-184. DOI: 10.1134/S1995080222150215 WOS Scopus РИНЦ OpenAlex
Pseudofinite formulae
Lobachevskii Journal of Mathematics. 2022. V.43. N12. P.177-184. DOI: 10.1134/S1995080222150215 WOS Scopus РИНЦ OpenAlex
Dates:
| Submitted: | May 20, 2022 |
| Accepted: | Aug 1, 2022 |
| Published print: | Mar 17, 2023 |
| Published online: | Mar 17, 2023 |
Identifiers:
| Web of science: | WOS:000953737000020 |
| Scopus: | 2-s2.0-85159940308 |
| Elibrary: | 50767208 |
| OpenAlex: | W4327798554 |