Lattice Theory: Foundation

From MaRDI portal
Publication:3162101

DOI10.1007/978-3-0348-0018-1zbMath1233.06001OpenAlexW206333455MaRDI QIDQ3162101

George Grätzer

Publication date: 19 October 2010

Full work available at URL: https://doi.org/10.1007/978-3-0348-0018-1



Related Items

Quasicontinuous domains and the Smyth powerdomain, The strong endomorphism kernel property for modular p-algebras and for distributive lattices, Stone lattices., The number of monotone and self-dual Boolean functions., On continuous nondeterminism and state minimality, Characterizations of pseudocomplemented lattices by excluded 0-sublattices, Mechanizing complemented lattices within Mizar type system, When does a generalized Boolean quasiring become a Boolean ring?, The 6-strand braid group is \(\mathrm{CAT}(0)\)., The ordered set of principal congruences of a countable lattice., Quasiplanar diagrams and slim semimodular lattices, Interval decomposition lattices are balanced, Fast Möbius inversion in semimodular lattices and ER-labelable posets, Special elements of the lattice of epigroup varieties, Node balanced steady states: unifying and generalizing complex and detailed balanced steady states, My collaboration with E. T. Schmidt spanning six decades, Pseudocomplementation and minimal prime ideals in semirings, Congruences of fork extensions of slim, planar, semimodular lattices, Some preliminary results on the set of principal congruences of a finite lattice, A note on homomorphisms between products of algebras, Special elements of the lattice of monoid varieties, Congruence structure of planar semimodular lattices: the general swing lemma, Lattices, closures systems and implication bases: a survey of structural aspects and algorithms, Varieties of Boolean inverse semigroups, The order of principal congruences of a bounded lattice, Representing an isotone map between two bounded ordered sets by principal lattice congruences, Rough sets and matroids from a lattice-theoretic viewpoint, Notes on planar semimodular lattices. VII: Resections of planar semimodular lattices, Finiteness properties of direct products of algebraic structures, On scattered convex geometries, Complete congruence lattices of two related modular lattices, Homomorphisms and principal congruences of bounded lattices. II. Sketching the proof for sublattices, Homomorphisms and principal congruences of bounded lattices. III. The independence theorem, On 3-generated lattices with a completely modular element among generators, Super-De Morgan functions and free De Morgan quasilattices, A note on representation of lattices by weak congruences, Complete atomistic lattices are classification lattices, The extended permutohedron on a transitive binary relation., On congruence lattices of nilsemigroups, Interval valued L-fuzzy cosets of nearrings and isomorphism theorems, Graded consequence: an institution theoretic study, On the uniqueness of \(L\)-fuzzy sets in the representation of families of sets, On equivalence of conceptual scaling and generalized one-sided concept lattices, On subgroup functors of finite soluble groups, Representing homomorphisms of distributive lattices as restrictions of congruences of rectangular lattices, Patch extensions and trajectory colorings of slim rectangular lattices., Note on the description of join-distributive lattices by permutations, Prime filters and ideals in distributive lattices, A note on congruence lattices of slim semimodular lattices., A note on congruences of semilattices with sectionally finite height., The core label order of a congruence-uniform lattice, Symmetric embeddings of free lattices into each other, Lattices with many congruences are planar, An extension theorem for planar semimodular lattices., On the computational complexity of data flow analysis over finite bounded meet semilattices, Some properties of a new partial order on Dyck paths, Generalized comonotonicity and new axiomatizations of Sugeno integrals on bounded distributive lattices, The joy of implications, aka pure Horn formulas: mainly a survey, Dualization in lattices given by ordered sets of irreducibles, Orders on groups, and spectral spaces of lattice-groups, Representing some families of monotone maps by principal lattice congruences, MacNeille transferability and stable classes of Heyting algebras, Cometic functors and representing order-preserving maps by principal lattice congruences, On lattices with a smallest set of aggregation functions, On the clone of aggregation functions on bounded lattices, On the embedding of the free lattice of rank 3 in the lattice freely generated by three completely right modular elements, A new view of relationship between atomic posets and complete (algebraic) lattices, Luce arbitrates: stochastic resolution of inner conflicts, Cancellable elements of the lattice of epigroup varieties, Interval valued L-fuzzy prime ideals, triangular norms and partially ordered groups, How many ways can two composition series intersect?, Isotone maps on lattices, FC sets and twisters: the basics of orbifold deconstruction, One hundred twenty-seven subsemilattices and planarity, Free 3-generated lattices with standard element among generators, Finite convex geometries of circles, A non-extendibility certificate for submodularity and applications, Decimation and interleaving operations in one-sided symbolic dynamics, From orthocomplementations to locality, A categorical duality for semilattices and lattices, The restricted partition lattices, The admissible rules of \(\mathsf{BD}_2\) and \(\mathsf{GSc}\), Standard elements of the lattice of monoid varieties, Congruences on near-Heyting algebras, Uniquely complemented posets, A characterization of a semimodular lattice, Convolution lattices, \(k\)-maxitive Sugeno integrals as aggregation models for ordinal preferences, Embeddings between lattices of fuzzy sets: an application of closed-valued fuzzy sets, On special elements and pseudocomplementation in lattices with antitone involutions, Representation of lattices via set-colored posets, Using congruence relations to extract knowledge from concept lattices, Tight embedding of modular lattices into partition lattices: progress and program, A functional completeness theorem for De Morgan functions., Free pseudocomplemented semilattices: a new approach., Congruences and prime-perspectivities in finite lattices., The spectrum problem for abelian \(\ell\)-groups and MV-algebras, The lattice of varieties of implication semigroups, On generating of idempotent aggregation functions on finite lattices, On geometric posets and partial matroids, A novel study on the algebraic applications of special class of lattice ordered multi-fuzzy soft sets, A property of meets in slim semimodular lattices and its application to retracts, Lie algebras with a finite number of ideals, The p-adic Theory of Automata Functions, GENERALIZED PASCAL’S PYRAMIDS AND DECISION TREES, Unnamed Item, Dual digraphs of finite semidistributive lattices, Immersions and translation structures I: The space of structures on the pointed disk, Two lower bounds for the Stanley depth of monomial ideals, A note on finite lattices with many congruences, Distributive lattices with strong endomorphism kernel property as direct sums, Unnamed Item, On essential elements in a lattice and Goldie analogue theorem, Distributive and completely distributive lattice extensions of ordered sets, Finitely additive, modular, and probability functions on pre-Semirings, Prior’s OIC nonconservativity example revisited, From standard monomial theory to semi-toric degenerations via Newton–Okounkov bodies, Binary Partition Trees-Based Spectral-Spatial Permutation Ordering, Lattice theory of torsion classes: Beyond 𝜏-tilting theory, On the relation between the subadditivity cone and the quantum entropy cone, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, On the minimality of some generating sets of the aggregation clone on a finite chain, Composition series of arbitrary cardinality in modular lattices and abelian categories, Lattice point of view for argumentation framework, Distributivity in congruence lattices of graph inverse semigroups, Interval valued L-fuzzy ideals based on t-norms and t-conorms, On ordinal sums of partially ordered monoids: a unified approach to ordinal sum constructions of t-norms, t-conorms and uninorms, Preservation in many-valued truth institutions, Resolution of fuzzy relation equations with increasing operations over complete lattices, On the logic of distributive nearlattices, Representations for the largest extension of a closure system, Integral operators on lattices, Absolute retracts for finite distributive lattices and slim semimodular lattices, Length-preserving extensions of a semimodular lattice by lowering a join-irreducible element, Extended Filters of MS -Algebras, Strong endomorphism kernel property for finite Brouwerian semilattices and relative Stone algebras, Invariant Synchrony Subspaces of Sets of Matrices, Priestley-style duality for DN-algebras, On the metrization of the infinite partition lattice, Rings with an elementary abelian \(p\)-group of units, Strongly algebraically closed \(p\)-semilattices, The Kullback-Leibler divergence between lattice Gaussian distributions, On lattice vector spaces over a distributive lattice, On the notions of upper and lower density, Unnamed Item, Congruences in slim, planar, semimodular lattices: The Swing Lemma, Unnamed Item, The lattice of flats of a boolean representable simplicial complex, Unnamed Item, A Note on Distributive Triples, On the set of principal congruences in a distributive congruence lattice of an algebra, Unnamed Item, On modular and cancellable elements of the lattice of semigroup varieties, Nodal filters in Residuated Lattices, The free product of M-fuzzifying matroids1, The Auslander bijections: how morphisms are determined by modules, Free Vector Lattices and Free Vector Lattice Algebras, Spectral spaces of countable Abelian lattice-ordered groups, From noncommutative diagrams to anti-elementary classes, A modular characterization of supersolvable lattices, (S,N)-Implications on Bounded Lattices, Unnamed Item, ON THE NOTION OF STRONG IRREDUCIBILITY AND ITS DUAL, Unnamed Item, Unnamed Item, The annihilator graph of a 0-distributive lattice, Discrete Convex Functions on Graphs and Their Algorithmic Applications, On the representation of finite distributive lattices, Computing the nc-Rank via Discrete Convex Optimization on CAT(0) Spaces, Weakly Modular Graphs and Nonpositive Curvature, Unnamed Item, Dualization in lattices given by implicational bases, DISCRETE MODEL OF STATIC LOADS DISTRIBUTION MANAGEMENT ON LATTICE STRUCTURES, DEVELOPMENT OF SPECIAL MATHEMATICAL SOFTWARE USING COMBINATORIAL NUMBERS AND LATTICE STRUCTURE ANALYSIS, PARTIALLY ORDERED SETS AND COMBINATORY OBJECTS OF THE PYRAMIDAL STRUCTURE, Generating subdirect products, Varieties of distributive rotational lattices, Cancellable elements of the lattices of varieties of semigroups and epigroups, Unnamed Item, Characterization of semimodular χ-lattices, Computing the Degree of Determinants via Discrete Convex Optimization on Euclidean Buildings, Ordering groups constructively, Unnamed Item, Boole–De Morgan Algebras and Quasi-De Morgan Functions, Minimal Non-Metabelian Varieties of ℓ-Groups Which Contain No Nonabeliano-Groups, On the number of atoms in three-generated lattices, A new notion of vertex independence and rank for finite graphs, Special Jordan Subspaces and Synchrony Subspaces in Coupled Cell Networks, Unnamed Item, Cancellable Elements in the Lattice of Overcommutative Semigroup Varieties, Latent Complete-Lattice Structure of Hilbert-Space Projectors, Ockham Algebras—An Urquhart Legacy, An ideal-based graph of a bounded lattice, Lattice of weak hyper K-ideals of a hyper K-algebra, Simple, local and subdirectly irreducible state residuated lattices, CONTINUOUS FUNCTIONS ON LG-SPACES, On weakly associative lattices and near lattices, A geometric study of cores of idempotent stochastic matrices, Meet infinite distributivity for congruence lattices of direct sums of algebras, Upper-modular and related elements of the lattice of commutative semigroup varieties, Localic subspaces and colimits of localic spaces, Diagrams and rectangular extensions of planar semimodular lattices, Distributivity for upper continuous and strongly atomic lattices, Classification lattices are geometric for complete atomistic lattices, Unfolding of parametric Boolean networks, Acts with identities in the congruence lattice, Distributive lattices determined by weighted double skeletons, Notes on planar semimodular lattices. VI: On the structure theorem of planar semimodular lattices, Cartesian lattice counting by the vertical 2-sum, On the lattice property of shard orders, The number of slim rectangular lattices., Compositions on lattice ordered multi-fuzzy soft matrix and its simulated application in medical diagnosis, Non-generators in complete lattices and semilattices, Quasicomplemented residuated lattices, The first syzygy of Hibi rings associated with planar distributive lattices, Locally \(\sigma \)-complete and locally complete EMV-algebras, A modal view on resource-bounded propositional logics, The structure of completely meet irreducible congruences in strongly Fregean algebras, Complete almost distributive lattices, Lattices of retracts of direct products of two finite chains and notes on retracts of lattices, Minimal prime state filters and state radicals on state pseudo BL-algebras, On infinity of the free 3-generated lattice with one left modular generator, New construction of an ordinal sum of t-norms and t-conorms on bounded lattices, Effective categoricity for distributive lattices and Heyting algebras, On intermediate inquisitive and dependence logics: an algebraic study, Strongly algebraically closed Cevian lattices, Dp-finite fields. I(B): Positive characteristic, Relations and radicals in abstract lattices and in lattices of subspaces of Banach spaces and of ideals of Banach algebras. Amitsur's theory revisited, Real spectra and \(\ell\)-spectra of algebras and vector lattices over countable fields, Resolutions of convex geometries, Lattices of regular closed subsets of closure spaces, An introduction to the lattice of torsion classes, Relative projectivity and transferability for partial lattices, Partition lattice with limited block sizes, To the spectral theory of partially ordered sets. II, On the preferred extensions of argumentation frameworks: bijections with naive sets, Uniform modular lattices and affine buildings, Application of two different methods for extending lattice-valued restricted equivalence functions used for constructing similarity measures on \(L\)-fuzzy sets, On generating sets of the clone of aggregation functions on finite lattices, Isolated sublattices and their application to counting closure operators, Sets of lengths in maximal orders in central simple algebras., The lattice and matroid representations of definable sets in generalized rough sets based on relations, The possible values of critical points between strongly congruence-proper varieties of algebras, Sufficient conditions for the finiteness of the 3-generated lattice with modular and distributive type elements among generators, On \(\alpha\)-multiplier on almost distributive lattices, A nonpositive curvature property of modular semilattices, Cancellable elements of the lattice of monoid varieties, Conjunctive join-semilattices, On a new construction of pseudocomplemented semilattices, De Morgan functions and free De Morgan algebras., Coordinatization of finite join-distributive lattices., On the tolerance lattice of tolerance factors, Tamari lattices for parabolic quotients of the symmetric group, The Ramsey and the ordering property for classes of lattices and semilattices, Hearts and towers in stable \(\infty \)-categories, On the dualization in distributive lattices and related problems, Congruences and the discrete Sugeno integrals on bounded distributive lattices, 3-generated lattice with left modular and separating generators, Existentially closed de Morgan algebras, A technical lemma for congruences of finite lattices, Medians are below joins in semimodular lattices of breadth 2, The measure of fuzzy filters on BL-algebras, Two weaker variants of congruence permutability for monoid varieties, Finite distributive nearlattices, Lattice structures for attractors. I, On the decomposability of aggregation functions on direct products of posets, Description of sup- and inf-preserving aggregation functions via families of clusters in data tables, A reinterpretation of the semilattice semantics with applications, Aggregation on a finite lattice, The fundamental theorem of finite semidistributive lattices, Solution sets of systems of equations over finite lattices and semilattices, A variety containing EMV-algebras and Pierce sheaves of EMV-algebras, Notes on planar semimodular lattices. VIII. Congruence lattices of SPS lattices, Structure and enumeration results of matchable Lucas cubes, Inquisitive Heyting algebras, On two alternative axiomatizations of lattices by McKenzie and Sholander, Finite semilattices with many congruences, The free distributive semilattice extension of a distributive poset, The structures and the connections on four types of covering rough sets, On Harder-Narasimhan filtrations and their compatibility with tensor products, Dualities and endomorphisms of pseudo-cones, On the lattices of exact and weakly exact structures, Strong and weak optimizations in classical and quantum models of stochastic processes, Eighty-three sublattices and planarity, To the spectral theory of partially ordered sets, Cevian operations on distributive lattices, Injective hulls in the category of mildly distributive semilattices, Representations of Sheffer stroke algebras and Visser algebras, The hull-kernel topology on prime filters in residuated lattices, Rickart residuated lattices, Formalization of generalized almost distributive lattices., The lattice of varieties of monoids, Generalised graded interpolation, On pseudocomplements and supplements in the big lattice of preradicals, Formalization of quasilattices, Enumerating maximal consistent closed sets in closure systems, Hierarchical decompositions of implicational bases for the enumeration of meet-irreducible elements, Characterizations of near-Heyting algebras, The number of subuniverses, congruences, weak congruences of semilattices defined by trees, Atoms and coatoms in three-generated lattices, Decompositions in semirings, A lattice structure for ancestral configurations arising from the relationship between gene trees and species trees, On a statement of O. Frink about free pseudo-complemented meet-semilattices, Efficient realizations of closure systems, Subpolygroup commutativity degree of finite extension polygroup