Approximating formulae Научная публикация
| Журнал |
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports)
, E-ISSN: 1813-3304 |
||||
|---|---|---|---|---|---|
| Вых. Данные | Год: 2024, Том: 21, Номер: 1, Страницы: 463-480 Страниц : 18 DOI: 10.33048/semi.2024.21.033 | ||||
| Ключевые слова | approximating formula, approximation of theory, pseudonite formula, spectrum of sentence | ||||
| Авторы |
|
||||
| Организации |
|
Информация о финансировании (1)
| 1 | Российский научный фонд | 24-21-00096 |
Реферат:
The notion of a approximating formula is introduced. Links of approximating formulae and their spectra for pseudoniteness 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, ∀-formulae, ∃-formulae, ∃∀formulae, ∀∃-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.
Библиографическая ссылка:
Sudoplatov S.V.
Approximating formulae
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2024. V.21. N1. P.463-480. DOI: 10.33048/semi.2024.21.033 WOS Scopus РИНЦ
Approximating formulae
Сибирские электронные математические известия (Siberian Electronic Mathematical Reports). 2024. V.21. N1. P.463-480. DOI: 10.33048/semi.2024.21.033 WOS Scopus РИНЦ
Даты:
| Поступила в редакцию: | 7 февр. 2024 г. |
| Опубликована в печати: | 23 июн. 2024 г. |
| Опубликована online: | 23 июн. 2024 г. |
Идентификаторы БД:
| Web of science: | WOS:001283159700010 |
| Scopus: | 2-s2.0-85204492049 |
| РИНЦ: | 75133062 |