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 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Цитувати: | 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 назв. — англ. |