Equational characterization of the quaternary discriminator
β Scribed by D. Vaggione
- Publisher
- Springer
- Year
- 2000
- Tongue
- English
- Weight
- 30 KB
- Volume
- 43
- Category
- Article
- ISSN
- 0002-5240
No coin nor oath required. For personal study only.
π SIMILAR VOLUMES
It is known that all subvarieties of MV-algebras are finitely axiomatizable. In the literature, one can find equational characterizations of certain subvarieties, such as MV -algebras. In this paper we write down equational bases for all MV-varieties n and prove a representation theorem for each sub
Let p>13 be a prime congruent to 1 modulo 4. Let G be the genus of a quaternary even positive definite Z-lattice of discriminant 4p whose 2-adic localization has a proper 2-modular Jordan component. We show that the orthogonal group of any lattice from G is generated by &1 and the symmetries with re