Algebras of Binary Isolating Formulas for Strong Product Theories
Algebras of distributions of binary isolating and semi-isolating formulas are objects that are derived for a given theory, and they specify the relations between binary formulas of the theory. These algebras are useful for classifying theories and determining which algebras correspond to which theor...
| Váldodahkki: | |
|---|---|
| Materiálatiipa: | Artihkal |
| Giella: | English |
| Almmustuhtton: |
Irkutsk State University
2023-09-01
|
| Ráidu: | Известия Иркутского государственного университета: Серия "Математика" |
| Fáttát: | |
| Liŋkkat: | http://mathizv.isu.ru/en/article/file?id=1464 |