Decomposition of Congruence Modular Algebras into Atomic, Atomless Locally Uniform and Anti-Uniform Parts

&
Bulletin of the Section of Logic 45 (3/4) (2016)
  Copy   BIBTEX

Abstract

We describe here a special subdirect decomposition of algebras with modular congruence lattice. Such a decomposition is based on the properties of the congruence lattices of algebras. We consider four properties of lattices: atomic, atomless, locally uniform and anti-uniform. In effect, we describe a star-decomposition of a given algebra with modular congruence lattice into two or three parts associated to these properties.

Categories

Add categories

Keywords

Reprint years

DOI

10.18778/0138-0680.45.3.4.05

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,322

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Polynomial Time Uniform Word Problems.Stanley Burris - 1995 - Mathematical Logic Quarterly 41 (2):173-182.
Definability of directly indecomposable congruence modular algebras.Diego Vaggione - 1996 - Studia Logica 57 (2-3):239 - 241.
On the variety of M -generalized łukasiewicz algebras of order N.Júlia Vaz de Carvalho - 2010 - Studia Logica 94 (2):291-305.
Atomic Effect Algebras with the Riesz Decomposition Property.Anatolij Dvurečenskij & Yongjian Xie - 2012 - Foundations of Physics 42 (8):1078-1093.
Atomless varieties.Yde Venema - 2003 - Journal of Symbolic Logic 68 (2):607-614.
Principal and Boolean Congruences on $$\varvec{IKt}$$ IKt -Algebras.Aldo V. Figallo, Inés Inés Pascual & Gustavo Pelaitay - 2018 - Studia Logica 106 (4):857-882.
Congruences and ideals on Boolean modules: a heterogeneous point of view.Sandra Marques Pinto & M. Teresa Oliveira-Martins - 2011 - Mathematical Logic Quarterly 57 (6):571-581.
Locally modular geometries in homogeneous structures.Tapani Hyttinen - 2005 - Mathematical Logic Quarterly 51 (3):291.
Type-Decomposition of an Effect Algebra.David J. Foulis & Sylvia Pulmannová - 2010 - Foundations of Physics 40 (9-10):1543-1565.
Recursive unary algebras and trees.Bakhadyr Khoussainov - 1994 - Annals of Pure and Applied Logic 67 (1-3):213-268.
Complete and atomic Tarski algebras.Sergio Arturo Celani - 2019 - Archive for Mathematical Logic 58 (7-8):899-914.
Effect Algebras with the Riesz Decomposition Property and AF C*-Algebras.Sylvia Pulmannova - 1999 - Foundations of Physics 29 (9):1389-1401.
The number of one-generated cylindric set algebras of dimension greater than two.Jean A. Larson - 1985 - Journal of Symbolic Logic 50 (1):59-71.
Quasivarieties and Congruence Permutability of Łukasiewicz Implication Algebras.M. Campercholi, D. Castaño & J. P. Díaz Varela - 2011 - Studia Logica 98 (1-2):267-283.
Analytic ideals and cofinal types.Alain Louveau & Boban Velickovi - 1999 - Annals of Pure and Applied Logic 99 (1-3):171-195.

Analytics

Added to PP
2019-06-09

Downloads
10 (#1,160,791)

6 months
3 (#1,023,809)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references