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
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 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
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 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