Unityped algebras
| dc.creator | Boris, Plotkin | |
| dc.date | 2008-12-17 | |
| dc.date | 2009-04-26 | |
| dc.date.accessioned | 2026-07-07T13:08:12Z | |
| dc.date.available | 2026-07-07T13:08:12Z | |
| dc.description | The paper is essentially a continuation of B.Plotkin, G.Zhitomirski, "Some logical invariants of algebras and logical relations between algebras", St.Peterburg Math. J., {19:5}, (2008) 859 -- 879, whose main notion is that of logic-geometrical equivalence of algebras (LG-equivalence of algebras). This equivalence of algebras is more strict than elementary equivalence. In the paper we introduce the notion of unityped algebras and relate it to LG-equivalence. We show that these notions coincide. The idea of the type is one of the central ideas in M odel Theory. The correspondence introduced in the paper stimulates a bunch of problems which connect universal algebraic geometry and Model Theory. The paper consists of five sections: 1. General view 2. Logical noetherianity 3. Unitypeness and isomorphism 4. Logically perfect algebras 5. Some facts from algebraic logic. We provide a new general view on the subject, arising "on the territory" of universal algebraic geometry, which yield applications of algebraic logic and universal geometry in Model Theory. | |
| dc.identifier | https://arxiv.org/abs/0812.3298 | |
| dc.identifier | http://arxiv.org/abs/0812.3298 | |
| dc.identifier.uri | http://salesiana.dossiersoluciones.com/handle/123456789/228344 | |
| dc.subject | Logic | |
| dc.subject | 20A15, 03C60, 03G15 | |
| dc.title | Unityped algebras | |
| dc.type | text |