LogoРепозиторий Тверского госуниверситета

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

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

[img] PDF - Опубликованная версия
447kB

Абстракт

В данной работе исследуются свойства уноидов, которые содержат единственную разнозначную функцию. Устанавливаются необходимые и достаточные условия для того, чтобы два таких уноида были элементарно эквивалентными. С помощью этого результата доказываются необходимые и достаточные условия для того, чтобы уноид всех подмножеств уноида A был элементарно эквивалентен исходному уноиду A

Абстракт (англ.)

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

Тип объекта:Статья
Сведения об авторах:Карлов Борис Николаевич - доцент кафедры информатики факультета прикладной математики и кибернетики Тверского государственного университета
Ключевые слова:уноид, алгебра подмножеств, элементарная эквивалентность
Ключевые слова (англ.):unoid, algebra of subsets, elementary equivalence
Категории:5 Математика. Естественные науки > 51 Математика > 510 Фундаментальные и общие проблемы математики. Основания математики, математическая логика и т. п. > 510.6 Математическая логика > 510.67 Теория моделей
Подразделения:Университеты > Тверской государственный университет
ID Code:10829
Deposited By: С.Б. Федорова
Deposited On:08 Ноя 2021 12:45
Последнее изменение:08 Ноя 2021 12:45

Repository Staff Only: item control page