scientific article; zbMATH DE number 3290336

zbMath0182.34201MaRDI QIDQ5572358

George Grätzer

Publication date: 1968

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

zbMATH Keywords

general algebraic structures

Related Items

States and homomorphisms on the Pták sum ⋮ On the representation of distributive semilattices ⋮ The inference of tree languages from finite samples: An algebraic approach ⋮ Difference posets, effects, and quantum measurements ⋮ On monadic MV-algebras ⋮ General metrics and contracting operations ⋮ Dependence systems with the operator-image exchange property ⋮ Stochastic independence, algebraic independence and abstract connectedness ⋮ \(e\)-varieties of regular semigroups, relatively bifree objects and fully invariant congruences ⋮ Single identities for ternary Boolean algebras ⋮ On subdirectly irreducible ordered semigroups ⋮ On congruence-semisimple semirings and the \(K_{0}\)-group characterization of ultramatricial algebras over semifields ⋮ \(E\)-free objects in \(E\)-varieties of inverse rings ⋮ Orderable groups, elementary theory, and the Kaplansky conjecture ⋮ Model theory of functors: Axiomatizability problems ⋮ Fuzzifications of concrete categories and homomorphy degrees of mappings between universal algebras ⋮ Quasivarieties of orthomodular lattices and Bell inequalities ⋮ Finitely presented partially ordered abelian groups ⋮ A method for the construction of complete congruences on lattices of pseudovarieties ⋮ Randnomness, computability, and algebraic specifications ⋮ Towards understanding the Pierce-Birkhoff conjecture via MV-algebras ⋮ Algebraic and topological results on lifting properties in residuated lattices ⋮ Topology on BL-algebras ⋮ Domain-independent queries on databases with external functions ⋮ Fixed point characterization of infinite behavior of finite-state systems ⋮ Least \(V\)-quasivarieties of MV-algebras ⋮ Semi-planar Steiner loops of cardinality 2\(n\) ⋮ Observational ultraproducts of polynomial coalgebras. ⋮ Representing congruence lattices of lattices with partial unary operations as congruence lattices of lattices. I: Interval equivalence. ⋮ Different types of congruences in direct products ⋮ A complete logic for n-permutable congruence lattices ⋮ Algebraic and relational semantics for tense logics ⋮ A lemma on flatness ⋮ Polynomial interpolation in expanded groups. ⋮ Injective objects and cogenerating sets ⋮ Strong completeness with respect to finite Kripke models ⋮ Every free algebra in the variety generated by the representable dynamic algebras is separable and representable ⋮ Partial abstract types ⋮ A class of fuzzy theories ⋮ Bands with an involution ⋮ Fuzzy congruence relations ⋮ Results on homomorphic realization of automata by \(\alpha_ 0\)-products ⋮ Nonassociative Boolean ring varieties ⋮ Sheaves and duality ⋮ Order-sorted algebra. I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations ⋮ A field guide to equational logic ⋮ Semantic networks ⋮ Subsumption computed algebraically ⋮ Concept lattices and conceptual knowledge systems ⋮ A note on regular congruences of ordered semigroups ⋮ Stability among r.e. quotient algebras ⋮ Injective envelope and parallel decomposition of a transition system ⋮ Algebras with modular lattice reducts and simple subdirectly irreducibles ⋮ From a lattice to its ideal lattice ⋮ Algebras with a maximal C-dependence property ⋮ Rational choice and polynomial measurement models ⋮ Characterizing Mal'cev conditions ⋮ Natural state transformations ⋮ Coordinate theorems for affine Hjelmslev planes ⋮ Primality and model-completions ⋮ Equational classes of Steiner systems ⋮ Representing congruence lattices of lattices with partial unary operations as congruence lattices of lattices. II: Interval ordering ⋮ Sur les homomorphismes d'hypergroupes ⋮ On finitely accessible and finitely observable rings ⋮ Varieties of ordered algebras ⋮ The uniqueness of the fixed-point in every diagonalizable algebra. (The algebraization of the theories which express Theor. VIII.) ⋮ Decomposition orders -- another generalisation of the fundamental theorem of arithmetic ⋮ Tensor products of semilattices and distributive lattices ⋮ Intervals in the lattice of varieties ⋮ Finite equational bases for finite algebras in a congruence-distributive equational class ⋮ Über die affin vollständigen, endlich erzeugbaren Moduln ⋮ A new proof of the congruence lattice representation theorem ⋮ A generalized approach to formal languages ⋮ On universal algebraic constructions of logics ⋮ A polynomial map preserving the finite basis property ⋮ Über die Lösungsmengen von Gleichungssystemen über allgemeinen Algebren ⋮ Forcing infinito generalizzato in teoria dei modelli ⋮ A test for identities satisfied in lattices of submodules ⋮ A decomposition property of basic acyclic graphs ⋮ On semisimple bands ⋮ Model-companions and definability in existentially complete structures ⋮ Injectivity and Boolean powers ⋮ Sobrification of partially ordered sets ⋮ Propositional systems and measurements. III: Quasitensorproducts of certain orthomodular lattices ⋮ A study of Kripke-type models for some modal logics by Gentzen's sequential method ⋮ A characterization of some Boolean powers ⋮ Independent axiomatizability of sets of sentences ⋮ Subdirect decomposition of \(n\)-chromatic graphs ⋮ An algebraic generalization of Frege structures -- binding algebras ⋮ Characterization of \(p_ n\)-sequences for nonidempotent algebras ⋮ Associativity of products of existence varieties of regular semigroups ⋮ Some maximal closed classes of operations on infinite sets ⋮ Injective completeness of varieties of unary algebras: A remark on a paper of Higgs ⋮ The strong independence theorem for automorphism groups and congruence lattices of arbitrary lattices ⋮ Congruence modularity implies the Arguesian law for single algebras with a difference term ⋮ Set-theoretical and other elementary models of the \(\lambda\)-calculus ⋮ A unified language processing methodology ⋮ Boolean powers and quantum measurements ⋮ Unique complements and decompositions of database schemata ⋮ Which data types have \(\omega\)-complete initial algebra specifications? ⋮ Limiting partial combinatory algebras ⋮ Matrix theory for independence algebras ⋮ Fuzzy tree automata ⋮ The algebra of metric betweenness. I: Subdirect representation and retraction ⋮ Maps between a space and its square ⋮ Ultraproducts and possible worlds semantics in institutions ⋮ Axiomatizing rational power series over natural numbers ⋮ Left restriction monoids from left \(E\)-completions ⋮ Iterating conditionals and symmetric Stone algebras ⋮ Hulls of ordered algebras: projectability, strong projectability and lateral completeness ⋮ Relations in linear algebra ⋮ Semi-algebraic decision complexity, the real spectrum, and degree ⋮ Representation of finite nilpotent squags ⋮ Closure lattices ⋮ Fuzzy quotient algebras and fuzzy factor congruences ⋮ A categorical equivalence for Stonean residuated lattices ⋮ Annihilators in universal algebras: a new approach ⋮ A new combination procedure for the word problem that generalizes fusion decidability results in modal logics ⋮ Dynamic Łukasiewicz logic and dynamic MV-algebras ⋮ Hyperrings and \(\alpha^*\)-relations. A general approach. ⋮ Reflections in topological algebraic structures ⋮ Equidecomposable magmas ⋮ Independence algebras, basis algebras and the distributivity condition ⋮ Arguesian identities in the congruence variety of Abelian groups ⋮ Alpha ideals and the space of prime alpha ideals in universal algebras ⋮ The variety of Kleene algebras with conversion is not finitely based ⋮ De Morgan functions and free De Morgan algebras. ⋮ Categories of partial algebras for critical points between varieties of algebras. ⋮ The largest subsemilattices of the endomorphism monoid of an independence algebra. ⋮ A Hilbert-style axiomatisation for equational hybrid logic ⋮ Algebraic recognizability of regular tree languages ⋮ The uniqueness condition for the double pushout transformation of algebras ⋮ The classification of idealizable varieties (congruenze ideali IV) ⋮ Partial morphisms on partial algebras ⋮ Products of independent algebras with finitely generated identities ⋮ The class of topological spaces is equationally definable ⋮ The congruence extension property and subdirectly irreducible algebras - an example ⋮ Automorphism and subalgebra structure in algebras of finite type ⋮ Permanence of identities on algebras ⋮ Characterizing CTL-like logics on finite trees. ⋮ Minimal topological algebras ⋮ Closure systems and L-subalgebras ⋮ A category theory approach to derived preference relations in some decision making problems ⋮ Abstract canonical presentations ⋮ Hypergraphs induced by algebras of fixed type ⋮ Experiments and stability in group automata ⋮ Weighted parsing for grammar-based language models over multioperator monoids ⋮ On subalgebra lattices of universal algebras ⋮ Stone duality for primal algebra theory ⋮ Gleichungsdefinierbare Klassen partieller Algebren ⋮ Convergence in relational structures ⋮ On compact commutative noetherian rings ⋮ The lattice of equational classes of idempotent semigroups ⋮ Congruence topologies on universal algebras ⋮ The ternary discriminator function in universal algebra ⋮ Die primitiven Klassen arithmetischer Ringe ⋮ On \({\mathfrak S,A,m}\)-atomic compact relational systems ⋮ On Boolean extensions of primal algebras ⋮ On the structure of the lattice of equational classes \({\mathcal L}(\tau)\) ⋮ The spectrum of some classes of free universal algebras ⋮ Proof of a theorem on distributive type hyperidentities ⋮ Versatile monoids and versatile categories ⋮ Semilattice maps induced by homomorphisms of algebras ⋮ Some remarks on projective model classes and the interpolation theorem ⋮ Die binären Systeme der Intervallarithmetik. (The binary systems of interval arithmetic) ⋮ Embedding the dual of \(\Pi^\infty\) in the lattice of equational classes of semigroups. ⋮ A note on the congruence extension property ⋮ On free algebras and algebraic decompositions of algebras from some equational classes defined by regular equations ⋮ Equational classes generated by finite algebras ⋮ Arithmetic and \(k\)-maximality of the cyclic free magma ⋮ On identities defining lattices ⋮ Characterization of a class of groupoids ⋮ Models in equational theories of unary algebras ⋮ Iterated limits of universal algebras ⋮ Characterization of algebraic functions in equational classes generated by independent primal algebras ⋮ A classification of universal algebras by infinitary relations ⋮ Verbandstheoretische Behandlung \(n\)-stelliger Gruppen ⋮ Ideal systems and lattice theory. I ⋮ Equational theories for automata ⋮ Subalgebra maps induced by endomorphisms and automorphisms of algebras ⋮ Operators on classes of partia l algebras ⋮ The independence of certain related structures of a universal algebra. I. Partial algebras with useless operations and other lemmas ⋮ The family of locally independent sets in finite algebras ⋮ Completeness in arithmetical algebras ⋮ A regular variety of type \(<2,2,1,1,0,0>\) ⋮ On residual finiteness and finite embeddability ⋮ Equational compactness in equational classes of algebras ⋮ Some extensions of the congruence concept for incomplete non- deterministic automata ⋮ Equational theory of idempotent algebras ⋮ The independence of certain related structures of universal algebra. II: The automorphism group and congruence lattice are independent ⋮ The independence of certain related structures of a universal algebra. III: The subalgebra lattice and congruence lattice are independent ⋮ The independence of certain related structures of a universal algebra. IV: The triple is independent ⋮ Fixed points of endomorphisms ⋮ Residually small varieties ⋮ A note on geometric mappings ⋮ On primal algebras ⋮ On equationally compact semilattices ⋮ Mathematical fuzzy logic as a tool for the treatment of vague information ⋮ Congruences of convex algebras. ⋮ Chiral higher spin gravity in \(\mathrm{(A)dS}_4\) and secrets of Chern-Simons matter theories ⋮ Perfect rectangular bands of inverse monoids ⋮ Representations of additive relation algebras by modules ⋮ Interpretation of AF \(C^*\)-algebras in Łukasiewicz sentential calculus ⋮ Structured algebraic specifications: A kernel language ⋮ A characterization of the leaf language classes ⋮ Cosets in universal algebra ⋮ De Morgan algebras are universal ⋮ Quasi-varieties in abstract algebraic institutions ⋮ On unification: Equational theories are not bounded ⋮ Plethysm, categories and combinatorics ⋮ Algebraic specifications of computable and semicomputable data types ⋮ On a representation of tree automata ⋮ Fuzzy semilattices ⋮ Unification in combinations of collapse-free regular theories ⋮ Topology and duality in modal logic ⋮ Equational specification of partial higher-order algebras ⋮ Free word problems for additive relation algebras of modules ⋮ Synthesis and equivalence of concurrent systems ⋮ Automorphisms of categories of free algebras of some varieties ⋮ On the direct limit of a direct system of multialgebras ⋮ Free products in the category of Abelian \(\ell\)-groups with strong unit ⋮ A preservation theorem for fuzzy number theory ⋮ Primitive iteration and unary functions ⋮ A topological completion of refined hedge algebras and a model of fuzziness of linguistic terms and hedges ⋮ Finitary spectral algebraic theories ⋮ Injectives in varieties of completely regular semigroups ⋮ An equational axiomatization of systolic systems ⋮ Distributive congruence lattices of congruence-permutable algebras ⋮ Left ideals and reachability in machines ⋮ Final algebra semantics and data type extensions ⋮ Partial algebras and complexity of satisfiability and universal theory for distributive lattices, Boolean algebras and Heyting algebras ⋮ Weakly based modules over Dedekind domains ⋮ The independence of the subalgebra lattice, congruence lattice and automorphism group of an infinitary algebra ⋮ Uniform congruence schemes ⋮ Super-De Morgan functions and free De Morgan quasilattices ⋮ Pseudo-BCK algebras as partial algebras ⋮ On limits and colimits of variety-based topological systems ⋮ Algebraic properties of satisficing decision criterion ⋮ The Hopf property and K-free products of semigroups ⋮ A proof of Lyndon's finite basis theorem ⋮ A note on local polynomial functions over lattices ⋮ Lattice properties of congruences for stochastic relations ⋮ The lattice of varieties of modal algebras is not strongly atomic ⋮ Betweenness for real vectors and lines. I: Basic generalities ⋮ Universal topological algebra needs closed topological categories ⋮ The direct power of a 1-graph ⋮ On groupoids having a linear congruence class geometry ⋮ Clones of topological spaces ⋮ A variety generated by a finite algebra with \(2^{\aleph_0}\) subvarieties ⋮ Genomorphisms of semi-modular lattices ⋮ Generalized (convex) fuzzy sublattices ⋮ Intermediaries and intervenients in normative systems ⋮ Fundamental relations in multialgebras. Applications. ⋮ Proving implications by algebraic approximation ⋮ Term rewriting and Hoare logic -- Coded rewriting ⋮ Lambda abstraction algebras: representation theorems ⋮ Free idempotent generated semigroups and endomorphism monoids of independence algebras ⋮ Freeoids: a semi-abstract view on endomorphism monoids of relatively free algebras ⋮ Sobriety and spatiality in categories of lattice-valued algebras ⋮ Partition semantics for relations ⋮ Zur Vollständigkeit der induktiven Gruppoide der partiellen Automorphismen von Algebren. (On the completeness of the inductive groupoids of the partial automorphisms of algebras) ⋮ Unification in commutative theories ⋮ The homomorphism lattice induced by a finite algebra ⋮ Bases of admissible rules of proper axiomatic extensions of Łukasiewicz logic ⋮ Kleisli morphisms and randomized congruences for the Giry monad ⋮ The category of varieties and interpretations is alg-universal ⋮ Groupoids with quasigroup and Latin square properties. ⋮ Quasi-median hulls in Hamming space are Steiner hulls ⋮ Copower functors ⋮ On semi-planar Steiner quasigroups ⋮ The semantics of second-order lambda calculus ⋮ Data types over multiple-valued logics ⋮ A note on equationally compact lattices ⋮ On a question of G. H. Wenzel ⋮ On universal Horn classes categorical in some infinite power ⋮ Archimedean lattices ⋮ On transferable semilattices ⋮ A note on the algebraicity of \(L\)-fuzzy subalgebras in universal algebra ⋮ A Mezei-Wright theorem for categorical algebras ⋮ Partially monadic functors ⋮ Simple quandles ⋮ Characterizing specification languages which admit initial semantics ⋮ Implementation of data types by algebraic methods ⋮ On the minimum order of graphs with given semigroup ⋮ Purity in the category of M-sets ⋮ Parameter passing in algebraic specification languages ⋮ Affine complete semilattices ⋮ On linear varieties ⋮ Fast algorithms constructing minimal subalgebras, congruences, and ideals in a finite algebra ⋮ Pseudovarieties, generalized varieties and similarly described classes ⋮ A systematic study of models of abstract data types ⋮ Algebras, polynomials and programs ⋮ Mapping Abelian \(\ell\)-groups with strong unit one-one into MV algebras ⋮ Lattice of fuzzy subalgebras and closure systems in \(I^ X\) ⋮ Using information systems to solve recursive domain equations ⋮ Closure functions and general iterates as reflectors ⋮ Several epistemological problems related to the concept of systems ⋮ Proof theory for linear lattices ⋮ Some investigations of varieties of \({\mathcal N}\)-lattices ⋮ Gruppenuniversalität und Homogenisierbarkeit ⋮ Unnamed Item ⋮ Direct limits of monounary algebras ⋮ Crisp-determinization of weighted tree automata over strong bimonoids ⋮ On direct limit classes of algebras ⋮ An equational logic sampler ⋮ Bayesian Authentication: Quantifying Security of the Hancke-Kuhn Protocol ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Varieties of complex algebras ⋮ Free idempotent generated semigroups: subsemigroups, retracts and maximal subgroups ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unification properties of commutative theories: A categorical treatment ⋮ Cohomology of Effect Algebras ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Epimorphism between Fine and Ferguson’s Matrices for Angell’s AC ⋮ Unification in varieties of completely regular semigroups ⋮ A Comparison of Sets of Recognizable Weighted Tree Languages Over Specific Sets of Bounded Lattices ⋮ Some Varieties Containing Relation Algebras ⋮ Homomorphisms of direct products of algebras ⋮ Stability of Systems of General Functional Equations in the Compact-Open Topology ⋮ Varieties of algebras with equationally definable zeros ⋮ Relational characterizations of permutable and $n$-permutable varieties ⋮ Elementary and universal equivalence of group rings ⋮ An application of A. Robinson's proof of the completeness theorem ⋮ Unnamed Item ⋮ Amalgamation of Polyadic Algebras ⋮ The characterization of $\frak m$-compact elements in some lattices ⋮ On representation of polynomials on De Morgan algebras ⋮ Two constructions of compatible relations ⋮ Closures in Binary Partial Algebras ⋮ Unnamed Item ⋮ Tolerances and convexity ⋮ Unnamed Item ⋮ On Kleene algebras ⋮ Unnamed Item ⋮ Free products of bounded distributive lattices ⋮ n-Lie bialgebras ⋮ Unnamed Item ⋮ Universal sentences preserved under certain extensions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Congruence Relations in Direct Products ⋮ Congruence extension from a semilattice to the freely generated distributive lattice ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Towards Lambda Calculus Order-Incompleteness ⋮ Modal Operators for Coequations ⋮ Regular Identities in Lattices ⋮ Polynomially rich algebras ⋮ The free completely regular semigroup on a set ⋮ A Superposition Operator for the Refinement of Algebraic Models ⋮ Unnamed Item ⋮ Note on generalized atomic sets of formulas ⋮ An application of a certain argument about isomorphisms of $\alpha $-saturated structures ⋮ Unnamed Item ⋮ Reflexive and antisymmetric relations and their systems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Learning algebraic structures from text ⋮ Unnamed Item ⋮ Unnamed Item ⋮ State filters on fuzzy structures with internal states ⋮ Unnamed Item ⋮ Unnamed Item ⋮ On weak direct product decompositions of lattices and graphs ⋮ Weak product decompositions of discrete lattices ⋮ Unnamed Item ⋮ On relational selections for complete theories ⋮ The finite embeddability property for IP loops and local embeddability of groups into finite IP loops ⋮ Free algebras on a fixed set ⋮ On a variety of infinite algebras ⋮ Demi-semi-primal algebras and Mal'cev-type conditions ⋮ Demi-semi-primal algebras and Mal'cev-type conditions ⋮ Unnamed Item ⋮ MS-almost distributive lattices ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Dependences related to strict binary relations ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Direct limits of cyclically ordered groups ⋮ $L-$fuzzy semi-prime ideals in universal algebras ⋮ Structure of free algebras ⋮ Unnamed Item ⋮ Closed and saturated varieties of semigroups ⋮ On some properties a projective model class passes on to the generated axiomatic class ⋮ A note on distributive double p-algebras