Free trees and the optimal bound in Wehrung's theorem

Pavel Růžička

The search session has expired. Please query the service again.

Displaying similar documents to “Free trees and the optimal bound in Wehrung's theorem”

Congruence lattices of free lattices in non-distributive varieties

Miroslav Ploščica, Jiří Tůma, Friedrich Wehrung (1998)

Colloquium Mathematicae

Similarity:

Congruence extension from a semilattice to the freely generated distributive lattice

Isidore Fleischer (1982)

Czechoslovak Mathematical Journal

Similarity:

Join-semilattices with two-dimensional congruence amalgamation

Friedrich Wehrung (2002)

Colloquium Mathematicae

Similarity:

We say that a ⟨∨,0⟩-semilattice S is conditionally co-Brouwerian if (1) for all nonempty subsets X and Y of S such that X ≤ Y (i.e. x ≤ y for all ⟨x,y⟩ ∈ X × Y), there exists z ∈ S such that X ≤ z ≤ Y, and (2) for every subset Z of S and all a, b ∈ S, if a ≤ b ∨ z for all z ∈ Z, then there exists c ∈ S such that a ≤ b ∨ c and c ≤ Z. By restricting this definition to subsets X, Y, and Z of less than κ elements, for an infinite cardinal κ, we obtain the definition of a conditionally κ-co-Brouwerian...

Center of a bounded lattice

Ján Jakubík (1975)

Matematický časopis

Similarity:

Weak congruences of an algebra with the CEP and the WCIP

Andrzej Walendziak (2002)

Czechoslovak Mathematical Journal

Similarity:

Here we consider the weak congruence lattice $C_{W} (A)$ of an algebra $A$ with the congruence extension property (the CEP for short) and the weak congruence intersection property (briefly the WCIP). In the first section we give necessary and sufficient conditions for the semimodularity of that lattice. In the second part we characterize algebras whose weak congruences form complemented lattices.

On complete congruences of complete lattices

Morgado, José (1962)

Portugaliae mathematica

Similarity: