Pseudofinite formulae Научная публикация
| Журнал |
Lobachevskii Journal of Mathematics
ISSN: 1995-0802 , E-ISSN: 1818-9962 |
||||||
|---|---|---|---|---|---|---|---|
| Вых. Данные | Год: 2022, Том: 43, Номер: 12, Страницы: 177-184 Страниц : 8 DOI: 10.1134/S1995080222150215 | ||||||
| Ключевые слова | pseudofinite formula, pseudofinite theory, approximation of theory. | ||||||
| Авторы |
|
||||||
| Организации |
|
Информация о финансировании (1)
| 1 | Институт математики им. С.Л. Соболева СО РАН | FWNF-2022-0012 |
Реферат:
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.
Библиографическая ссылка:
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
Даты:
| Поступила в редакцию: | 20 мая 2022 г. |
| Принята к публикации: | 1 авг. 2022 г. |
| Опубликована в печати: | 17 мар. 2023 г. |
| Опубликована online: | 17 мар. 2023 г. |
Идентификаторы БД:
| Web of science: | WOS:000953737000020 |
| Scopus: | 2-s2.0-85159940308 |
| РИНЦ: | 50767208 |
| OpenAlex: | W4327798554 |