𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A note on a subvariety of linear tense algebras

✍ Scribed by Marta A. Zander


Publisher
John Wiley and Sons
Year
2005
Tongue
English
Weight
118 KB
Volume
51
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.

✦ Synopsis


Abstract

In [1], Bull gave completeness proofs for three axiom systems with respect to tense logic with time linear and rational, real and integral. The associated varieties, Dens, Cont and Disc, are generated by algebras with frames {β„š, <, >}, {ℝ, <, >} and {β„€, <, >}, respectively. In this paper we consider the subvariety 𝒱 generated by the finite members of Disc. We prove that V is locally finite and we determine its lattice of subvarieties. We also prove that 𝒱 = Disc ∩ Dens = Disc ∩ Cont. (Β© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)


πŸ“œ SIMILAR VOLUMES


A Note on Diagonality of Algebras
✍ Josef Ε lapal πŸ“‚ Article πŸ“… 2006 πŸ› John Wiley and Sons 🌐 English βš– 171 KB πŸ‘ 1 views
A Note on Derivations of Simple Algebras
✍ A. Elduque; F. Montaner πŸ“‚ Article πŸ“… 1994 πŸ› Elsevier Science 🌐 English βš– 319 KB

Necessary and sufficient conditions for all the derivations of a finite dimensional simple nonassociative algebra, over a field of characteristic zero, to be inner are given in terms of the Lie multiplication algebra and the trace of the derivations. 1994 Academic Press, Inc.

A note on simple graphic algebras
✍ Juhani Nieminen πŸ“‚ Article πŸ“… 1975 πŸ› John Wiley and Sons 🌐 English βš– 223 KB πŸ‘ 1 views

A NOTE ON SIMPLE GRAPHIC ALGEBRAS by JUHANT NIEMTNEN in Helsinki (Finland) 111 troduction Several authors have studied the structure of algebras with a ternary operation called median operation, scc e.g. [I], [2], [3], [4], and [7]. Most of the authors have concentrated on the lattice and tree struc

A Note on the Multiplicities of Gorenste
✍ Hema Srinivasan πŸ“‚ Article πŸ“… 1998 πŸ› Elsevier Science 🌐 English βš– 167 KB

In this note we give a formula for the multiplicities of homogenous Gorenstein algebras. Herzog, Huneke, and Srinivasan have conjectured bounds for the multiplicities of homogeneous Cohen᎐Macaulay algebras. Herzog and Srinivasan have proved this conjecture for C-M algebras with quasi-pure resolution

A Note on Algebras of Finite Uniserial T
✍ Klaus Bongartz πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 79 KB

A denotes an artin algebra in the sense of Auslander, i.e., an associative algebra of finite length over a commutative artinian ring Z. We assume in addition that Z is local and that its residue field k is algebraically closed, whence infinite. As a partial answer to a w x question raised by Ausland

A Note On Semi-inner Product Algebras
✍ B. D. Malviya πŸ“‚ Article πŸ“… 1970 πŸ› John Wiley and Sons 🌐 English βš– 157 KB πŸ‘ 1 views