On Deterministic and Absorbing Algebras of Binary Formulas of Polygonometrical Theories
Algebras of distributions of binary isolating and semi-isolating formulas are derived structures for a given theory. These algebras reflect binary links between realizations of 1-types defined by formulas of the initial theory. Thus these are two sorts of interrelated classification problems: 1) to...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Irkutsk State University
2017-06-01
|
| Series: | Известия Иркутского государственного университета: Серия "Математика" |
| Subjects: | |
| Online Access: | http://isu.ru/journal/downloadArticle?article=_21f069482fc342afa797c7e09c210603&lang=rus |