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.
Збережено в:
Дата: | 2018 |
---|---|
Автори: | Plotkin, B., Plotkin, E., Zhitomirski, G. |
Формат: | Стаття |
Мова: | English |
Опубліковано: |
Lugansk National Taras Shevchenko University
2018
|
Теми: | |
Онлайн доступ: | https://admjournal.luguniv.edu.ua/index.php/adm/article/view/1179 |
Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
Назва журналу: | Algebra and Discrete Mathematics |
Репозитарії
Algebra and Discrete MathematicsСхожі ресурси
-
Geometrical equivalence and action type geometrical equivalence of group representations
за авторством: Simoes da Silva, J., та інші
Опубліковано: (2021) -
A note to my paper “Multi-algebras from the viewpoint of algebraic logic”
за авторством: Cırulis, Janis
Опубліковано: (2018) -
Automorphic equivalence of the representations of Lie algebras
за авторством: Shestakov, I., та інші
Опубліковано: (2018) -
Construction of free \(\mathfrak{g}\)-dimonoids
за авторством: Movsisyan, Yuri, та інші
Опубліковано: (2018) -
Multi-solid varieties and Mh-transducers
за авторством: Shtrakov, Slavcho
Опубліковано: (2018)