Sciact
  • EN
  • RU

Generations of generative classes Научная публикация

Журнал Известия Иркутского государственного университета. Серия: Математика (Bulletin of Irkutsk State University. Series Mathematics)
ISSN: 1997-7670
Вых. Данные Год: 2017, Том: 22, Страницы: 106-117 Страниц : 12 DOI: 10.26516/1997-7670.2017.22.106
Ключевые слова generative class, generic structure, generation of generative class
Авторы Судоплатов Сергей Владимирович 1,2,3,4
Организации
1 Sobolev Institute of Mathematics
2 Novosibirsk State Technical University
3 Novosibirsk State University
4 Institute of Mathematics and Mathematical Modeling, Almaty

Реферат: We study generating sets of diagrams for generative classes. The generative classes appeared solving a series of model-theoretic problems. They are divided into semantic and syntactic ones. The fists ones are witnessed by well-known Fra¨ıss´e constructions and Hrushovski constructions. Syntactic generative classes and syntactic generic constructions were introduced by the author. They allow to consider any omega-homogeneous structure as a generic limit of diagrams over finite sets. Therefore any elementary theory is represented by some their generic models. Moreover, an information written by diagrams is realized in these models. We consider generic constructions both in general case and with some natural restrictions, in particular, with the self-sufficiency property. We study the dominating relation and domination-equivalence for generative classes. These relations allow to characterize the finiteness of generic structure reducing the construction of generic structures to maximal diagrams. We also have that a generic structure is finite if and only if given generative class is finitely generated, i.e., all diagrams of this class are reduced to copying of some finite set of diagrams. It is shown that a generative class without maximal diagrams is countably generated, i.e., reduced to some at most countable set of diagrams if and only if there is a countable generic structure. And the uncountable generation is equivalent to the absence of generic structures or to the existence only uncountable generative structures.
Библиографическая ссылка: Sudoplatov S.V.
Generations of generative classes
Известия Иркутского государственного университета. Серия: Математика (Bulletin of Irkutsk State University. Series Mathematics). 2017. V.22. P.106-117. DOI: 10.26516/1997-7670.2017.22.106 WOS РИНЦ OpenAlex
Даты:
Поступила в редакцию: 15 нояб. 2017 г.
Опубликована в печати: 21 дек. 2017 г.
Опубликована online: 21 дек. 2017 г.
Идентификаторы БД:
Web of science: WOS:000476650400008
РИНЦ: 30716139
OpenAlex: W3150898843
Цитирование в БД:
БД Цитирований
Web of science 1
РИНЦ 2
OpenAlex 2
Альметрики: