scientific article; zbMATH DE number 758787

Ralph Freese, J. B. Nation, Jaroslav Jezek

Publication date: 28 May 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

intervals algorithms connected components efficiency word problem sublattices varieties of lattices bounded lattices term rewrite systems bounded homomorphisms splitting lattices totally atomic elements covers of elements structure of free lattices Tschantz triples

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Partial orders, general (06A06) Varieties of lattices (06B20) Free lattices, projective lattices, word problems (06B25) Software, source code, etc. for problems pertaining to ordered structures (06-04) Research exposition (monographs, survey articles) pertaining to ordered structures (06-02)

Related Items

Extremality, left-modularity and semidistributivity, On the symmetric parts of finitely generated free lattices, The canonical complex of the weak order, Amalgamating poset extensions and generating free lattices, Length-preserving extensions of a semimodular lattice by lowering a join-irreducible element, Bubble lattices. I: Structure, Finitely based congruence varieties, From the lattice of torsion classes to the posets of wide subcategories and ICE-closed subcategories, Semidistrim Lattices, Hierarchical decompositions of implicational bases for the enumeration of meet-irreducible elements, Categorical Dualities for Some Two Categories of Lattices: An Extended Abstract, Free \(\mu\)-lattices, The canonical join complex for biclosed sets, The canonical join complex of the Tamari lattice, The CDE property for skew vexillary permutations, Inherently nonfinitely based lattices, The lattices of closure systems, closure operators, and implicational systems on a finite set: A survey, There exist infinitely many kinds of partial separability/entanglement, The class of bounded lattices is not axiomatizable, Embeddability into Relational Lattices Is Undecidable, Characterizations of pseudocomplemented lattices by excluded 0-sublattices, Sublattices of lattices of order-convex sets. I: The main representation theorem, Acts with identities in the congruence lattice, Hochschild lattices and shuffle lattices, Free-lattice functors weakly preserve epi-pullbacks, On the lattice property of shard orders, Minimum implicational basis for \(\wedge\)-semidistributive lattices, Convex geometries are extremal for the generalized Sauer-Shelah bound, Dual digraphs of finite semidistributive lattices, Notes on join semidistributive lattices, On a dependence relation in finite lattices, Embeddability into relational lattices is undecidable, Unnamed Item, A relatively finite-to-finite universal but not Q-universal quasivariety, A convex combinatorial property of compact sets in the plane and its roots in lattice theory, Chain dominated orders, Lattices, closures systems and implication bases: a survey of structural aspects and algorithms, Optimum basis of finite convex geometry, Fully invariant and verbal congruence relations, Derived semidistributive lattices, Relative projectivity and transferability for partial lattices, On lattice representations with DCC posets, Sublattices of associahedra and permutohedra, The extended permutohedron on a transitive binary relation., Partial separability/entanglement violates distributive rules, The facial weak order and its lattice quotients, Aggregation and residuation, The graphs of join-semilattices and the shape of congruence lattices of particle lattices, Lattices do not distribute over powerset, The variable hierarchy for the games \(\mu \)-calculus, Type-2 Fuzzy Sets and Bichains, Representation of convex geometries by circles on the plane, Chapoton triangles for nonkissing complexes, Completions of \(\mu \)-algebras, Applying relation algebra and RelView to solve problems on orders and lattices, The core label order of a congruence-uniform lattice, Symmetric embeddings of free lattices into each other, Remarks about the Q-lattice of the variety of lattices, Sufficient conditions for the finiteness of the 3-generated lattice with modular and distributive type elements among generators, Lattices with many congruences are planar, A non-capped tensor product of lattices., Bounded homomorphisms and finitely generated fiber products of lattices, The canonical join complex, Lattice properties of oriented exchange graphs and torsion classes, The \(m\)-cover posets and their applications, A juggler's dozen of easy\(^\dag\) problems (\(^\dag\) Well, easily formulated \dots)., On the join dependency relation in multinomial lattices, Computing congruence lattices of finite lattices, Some properties of a new partial order on Dyck paths, The joy of implications, aka pure Horn formulas: mainly a survey, Discovery of the \(D\)-basis in binary tables based on hypergraph dualization, Trimness of closed intervals in Cambrian semilattices, Free ordered algebraic structures towards proof theory, A selfdual embedding of the free lattice over countably many generators into the three-generated one, Noncrossing partitions and the shard intersection order, Isotone maps on lattices, Relational Lattices via Duality, Ambiguous classes in \(\mu\)-calculi hierarchies, Lattice congruences, fans and Hopf algebras., The canonical join complex for biclosed sets, Oriented flip graphs of polygonal subdivisions and noncrossing tree partitions, Cambrian lattices., Canonical dichotomous direct bases, Dynamical combinatorics and torsion classes, Translating between the representations of a ranked convex geometry, Noncrossing arc diagrams, Tamari lattices, and parabolic quotients of the symmetric group, Lattice classification by cut-through coding., A categorification of biclosed sets of strings, Infinite substructure lattices of models of Peano Arithmetic, On finite MTL-algebras that are representable as poset products of Archimedean chains, Representation of lattices via set-colored posets, Using congruence relations to extract knowledge from concept lattices, The facial weak order on hyperplane arrangements, Aggregation on a finite lattice, The canonical join complex of the Tamari lattice, On implicational bases of closure systems with unique critical sets., The fundamental theorem of finite semidistributive lattices, Locally finite sublattices of free lattices, Sortable elements in infinite Coxeter groups, Forcing extensions of partial lattices, Semilattices of finitely generated ideals of exchange rings with finite stable rank, Generating subdirect products, The shape of congruence lattices, Semidistributivity and whitman property in implication zroupoids, A simple semidistributive lattice, On the number of atoms in three-generated lattices, Generalizing Galvin and Jónsson's classification to \(N_5\), Noncrossing Arc Diagrams and Canonical Join Representations, Distributive lattices have the intersection property, Primitive lattice varieties, Non-kissing complexes and tau-tilting for gentle algebras, Join-semidistributive lattices and convex geometries., Projective ordinal sums of lattices and isotone sections, Enumerating maximal consistent closed sets in closure systems, Meet-distributive lattices have the intersection property