On Algebras of Distributions of Binary Formulas for Theories of Unars
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 Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Irkutsk State University
2016-09-01
|
| Series: | Известия Иркутского государственного университета: Серия "Математика" |
| Subjects: | |
| Online Access: | http://isu.ru/journal/downloadArticle?article=_915ae831b98448ed894861d118be8e77&lang=rus |