Formulas and Properties for Families of Theories of Abelian Groups
First-order formulas reflect an information for semantic and syntactic properties. Links between formulas and properties define their existential and universal interrelations which produce both structural and topological possibilities for characteristics classifying families of semantic and syntacti...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Irkutsk State University
2021-06-01
|
| Series: | Известия Иркутского государственного университета: Серия "Математика" |
| Subjects: | |
| Online Access: | http://mathizv.isu.ru/en/article/file?id=1380 |