Algebras of Binary Isolating Formulas for Theories of Root Products of Graphs
Algebras of distributions of binary isolating and semi-isolating formulas are derived objects for given theory and reflect binary formula relations between realizations of 1-types. These algebras are associated with the following natural classification questions: 1) for a given class of theories, de...
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
Irkutsk State University
2021-09-01
|
Series: | Известия Иркутского государственного университета: Серия "Математика" |
Subjects: | |
Online Access: | http://mathizv.isu.ru/en/article/file?id=1387 |