Type of a point in Universal Geometry and in Model Theory
Завантаження...
Дата
Назва журналу
Номер ISSN
Назва тому
Видавець
Інститут прикладної математики і механіки НАН України
Анотація
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.
Опис
Теми
Цитування
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 назв. — англ.