Some Logical Invariants of Algebras and Logical Relations between Algebras
نویسنده
چکیده
Let Θ be an arbitrary variety of algebras and H an algebra in Θ. Along with algebraic geometry in Θ over the distinguished algebra H, a logical geometry in Θ over H is considered. This insight leads to a system of notions and stimulates a number of new problems. Some logical invariants of algebras H ∈ Θ are introduced and logical relations between different H1 and H2 in Θ are analyzed. The paper contains a brief review of ideas of logical geometry (§1), the necessary material from algebraic logic (§2), and a deeper introduction to the subject (§3). Also, a list of problems is given. 0.
منابع مشابه
A new branch of the logical algebra: UP-algebras
In this paper, we introduce a new algebraic structure, called a UP-algebra (UP means the University of Phayao) and a concept of UP-ideals, UP-subalgebras, congruences and UP-homomorphisms in UP-algebras, and investigated some related properties of them. We also describe connections between UP-ideals, UP-subalgebras, congruences and UP-homomorphisms, and show that the notion of UP-algebras is a ...
متن کاملOn Heyting algebras and dual BCK-algebras
A Heyting algebra is a distributive lattice with implication and a dual $BCK$-algebra is an algebraic system having as models logical systems equipped with implication. The aim of this paper is to investigate the relation of Heyting algebras between dual $BCK$-algebras. We define notions of $i$-invariant and $m$-invariant on dual $BCK$-semilattices and prove that a Heyting semilattice is equiva...
متن کاملHomotopy after Tensoring with Uniformly Hyperfinite C*-Algebras
The paper is devoted to the homotopy classification of C*-algebras of continuous functions on a finite CW-complex with values in a UHF-algebra. The relevant invariants are based on (connective) K-theory.
متن کاملAlgebra Invariants for Finite Directed Graphs with Relations
Finite directed graphs with relations define finite-dimensional algebras given as factor algebras of the corresponding path algebras. In joint work with T. Holm, we studied invariants of an associated generalized Cartan matrix for certain types of algebras where the Cartan invariants basically count nonzero paths; the main motivation for this came from the context of derived module categories a...
متن کاملA Certain Class of Character Module Homomorphisms on Normed Algebras
For two normed algebras $A$ and $B$ with the character space $bigtriangleup(B)neq emptyset$ and a left $B-$module $X,$ a certain class of bounded linear maps from $A$ into $X$ is introduced. We set $CMH_B(A, X)$ as the set of all non-zero $B-$character module homomorphisms from $A$ into $X$. In the case where $bigtriangleup(B)=lbrace varphirbrace$ then $CMH_B(A, X)bigcup lbrace 0rbrace$ is...
متن کامل