Классификация Δ-РМ-теорий по Δ-РМ-косемантичности в допустимых обогащениях сигнатуры
Loading...
Date
Authors
Journal Title
Journal ISSN
Volume Title
Publisher
Изд-во КарГУ
Abstract
В статье рассмотрено обогащение сигнатуры позитивных йонсоновских теорий. Основной задачей яв-
ляется классификация позитивных йонсоновских теорий и их классов позитивных экзистенциально
замкнутых моделей. Авторами предложена классификация рассматриваемых теорий в рамках пози-
тивной косемантичности теории и моделей. Получены условия позитивной элементарной эквивалент-
ности для различных классов позитивных йонсоновских теорий.
Description
Citation
Ешкеев А.Р. Классификация Δ-РМ-теорий по Δ-РМ-косемантичности в допустимых обогащениях сигнатуры /А.Р.Ешкеев, Б.Ш.Алимова, М.Б.Битимхан //Қарағанды универисетінің хабаршысы. Математика сериясы.=Вестник Карагандинского университета. Серия Математика=Bulletin of the Karaganda University. Mathematics Series.-2013.-№2.-Р.70-76