Unityped algebras

Details Unityped algebras Unityped algebras

2008-12-17

arxiv.org/abs/0812.3298v2

Mathematics

Logic

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Unityped algebras does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Unityped algebras, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Unityped algebras will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-95108