Type of a point in Universal Geometry and in Model Theory
The paper is devoted to relations between model theoretic types and logically geometric types. We show that the notion of isotypic algebras can be equally defined through MT-types and LG-types.
Збережено в:
Дата: | 2015 |
---|---|
Автори: | , , |
Формат: | Стаття |
Мова: | English |
Опубліковано: |
Інститут прикладної математики і механіки НАН України
2015
|
Назва видання: | Algebra and Discrete Mathematics |
Онлайн доступ: | http://dspace.nbuv.gov.ua/handle/123456789/152791 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
Цитувати: | Type of a point in Universal Geometry and in Model Theory / B. Plotkin, E. Plotkin, G. Zhitomirski // Algebra and Discrete Mathematics. — 2015. — Vol. 19, № 1. — С. 87-100. — Бібліогр.: 15 назв. — англ. |