Карлов, Б.Н. (2021) Об элементарной эквивалентности некоторых уноидов и уноидов их подмножеств. Вестник ТвГУ. Серия: Прикладная математика (3). pp. 18-32. ISSN 1995-0136
PDF
- Published Version
447kB |
Abstract
В данной работе исследуются свойства уноидов, которые содержат единственную разнозначную функцию. Устанавливаются необходимые и достаточные условия для того, чтобы два таких уноида были элементарно эквивалентными. С помощью этого результата доказываются необходимые и достаточные условия для того, чтобы уноид всех подмножеств уноида A был элементарно эквивалентен исходному уноиду A
Abstract (en)
In this paper we study the properties of unoids which contain a single injective function. Necessary and sufficient conditions are established for two such unoids to be elementarily equivalent. From this result we obtain necessary and sufficient conditions for the unoid of all subsets of unoid A to be elementarily equivalent to the original unoid A
Item Type: | Article |
---|---|
Additional Information: | Карлов Борис Николаевич - доцент кафедры информатики факультета прикладной математики и кибернетики Тверского государственного университета |
Uncontrolled Keywords: | уноид, алгебра подмножеств, элементарная эквивалентность |
Keywords (en): | unoid, algebra of subsets, elementary equivalence |
Subjects: | 5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.67 Теория моделей |
Divisions: | Университеты > TverSU |
ID Code: | 10829 |
Deposited On: | 08 Nov 2021 12:45 |
Last Modified: | 08 Nov 2021 12:45 |
Repository Staff Only: item control page