LogoTver State University Repository

Об элементарной эквивалентности некоторых уноидов и уноидов их подмножеств

Карлов, Б.Н. (2021) Об элементарной эквивалентности некоторых уноидов и уноидов их подмножеств. Вестник ТвГУ. Серия: Прикладная математика (3). pp. 18-32. ISSN 1995-0136

[img] 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 By: С.Б. Федорова
Deposited On:08 Nov 2021 12:45
Last Modified:08 Nov 2021 12:45

Repository Staff Only: item control page