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.
Збережено в:
| Опубліковано в: : | Algebra and Discrete Mathematics |
|---|---|
| Дата: | 2015 |
| Автори: | , , |
| Формат: | Стаття |
| Мова: | Англійська |
| Опубліковано: |
Інститут прикладної математики і механіки НАН України
2015
|
| Онлайн доступ: | https://nasplib.isofts.kiev.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 назв. — англ. |