Publication:3934450
From MaRDI portal
zbMath0478.08001MaRDI QIDQ3934450
Hanamantagouda P. Sankappanavar, Stanley N. Burris
Publication date: 1981
undecidability; textbook; complete lattices; Stone duality; equational logic; Boolean algebras; loops; closure operations; free algebras; orthogonal Latin squares; Steiner triple systems; subdirect products; discriminator varieties; equational theories; Mal'cev conditions; isomorphism theorems; fully invariant congruences; semantic embeddings; Boolean products; reduced products; congruence-distributive varieties; primal algebras; Boolean powers, ultraproducts
06B23: Complete lattices, completions
08B05: Equational logic, Mal'tsev conditions
06B10: Lattice ideals, congruence relations
06E15: Stone spaces (Boolean spaces) and related structures
08A05: Structure theory of algebraic structures
08B10: Congruence modularity, congruence distributivity
08B20: Free algebras
08A35: Automorphisms and endomorphisms of algebraic structures
08B25: Products, amalgamated products, and other kinds of limits and colimits
08C10: Axiomatic model classes
06Exx: Boolean algebras (Boolean rings)
08Bxx: Varieties
08-02: Research exposition (monographs, survey articles) pertaining to general algebraic systems
Related Items
Polynomially rich algebras, The subquasivariety lattice of a discriminator variety, On subvarieties of symmetric closure algebras, Functorial representation theorems for MV\(_\Delta\) algebras with additional operators, Bounded lattice expansions, Semilattices of totally bounded quasi-uniformities, Linearization in parallel pCRL, Finite bases for flat graph algebras, Boolean products of real closed valuation rings and fields, Computational complexity of some problems involving congruences on algebras, On the partially ordered monoid generated by the operators \(H, S, P, P_s\) on classes of algebras, Unnamed Item, A decidable variety that is finitely undecidable, Hyper-regular lattice-ordered groups, A knowledge representation based on the Belnap's four-valued logic, Unnamed Item, On Solvable Congruences in Finitely Decidable Varieties, Quasi‐Stone algebras, Hereditary undecidability of some theories of finite structures, Nearring multiplications on groups, On the semidirect product of the pseudovariety of semilattices by a locally finite pseudovariety of groups, Unnamed Item, Minimal sets and varieties, Unnamed Item, Commutator Theory Without Join-Distributivity, The Direct Decomposition of l-algebras into Products of Subdirectly Irreducible Factors, The Hahn representation theorem for ℓ-groups in ZFA, Characterization of discriminator varieties, On the equational theory of representable polyadic equality algebras, Hyperboolean Algebras and Hyperboolean Modal Logic, ON THE MAXIMAL IDEALS OF NON-ZERO-SYMMETRIC NEAR-RINGS AND OF COMPOSITION ALGEBRAS OF POLYNOMIAL FUNCTIONS ON Ω-GROUPS, Unnamed Item, Erdős Graphs Resolve Fine's Canonicity Problem, Unnamed Item, Varieties of half lattice-ordered groups of monotonic permutations of chains, A non-commutative generalization of MV-algebras, A Structure Theorem for Free Temporal Algebras, Defining data structures via Böhm-out, Congruence lattices of algebras— the signed labelling, Term rewriting systems with sort priorities, XI Latin American Symposium on Mathematical Logic, A finitely axiomatizable undecidable equational theory with recursively solvable word problems, MacNeille completions and canonical extensions, Free algebras in discriminator varieties, Almost free algebras, Forcing extensions of partial lattices, Varieties of BL-algebras. I: General properties., Finding model-companions via the skeleton, Varieties having Boolean factor congruences, Combining algebraizable logics, Boolean products of lattices, Coupling an MV-algebra with a Boolean algebra, Interpreting \(\mathbb{N}\) in the computably enumerable weak truth table degrees, On axioms for commutative regular equations without addition., On equations for union-free regular languages, Geometrical methods in Wajsberg hoops, Functor category dualities for varieties of Heyting algebras, On coconnected algebras, The max-plus algebra of the natural numbers has no finite equational basis, Representation of fuzzy subalgebras by crisp subalgebras, On the expressiveness of choice quantification, Equational theories of tropical semirings, Unary algebras, semigroups and congruences on free semigroups, Locally Boolean spectra, Skew Boolean algebras and discriminator varieties, The join of the pseudovarieties of idempotent semigroups and locally trivial semigroups, Algebraic study of two deductive systems of relevance logic, On arithmetical varieties of near-rings, A note on varieties of groupoids arising from \(m\)-cycle systems, An algebraic characterization of inductive soundness in proof by consistency, Quasi-varieties, congruences, and generalized Dowling lattices, Predicate transformers as power operations, Seven trees in one, A note on a theorem of Fried and MacRae, Finite axiomatizability of congruence rich varieties, Finitely axiomatizable quasivarieties of graphs, On Ockham algebras: Congruence lattices and subdirectly irreducible algebras, Recent developments in the theory of skew lattices, Wreath products of algebras: Generalizing the Krohn-Rhodes theorem to arbitrary algebras, Undecidable fragments of elementary theories, Decidable and undecidable logics with a binary modality, The variety of CH-algebras, On the interpolation property of some intuitionistic modal logics, Covers of primal varieties, An algebraic treatment of quantifier-free systems of arithmetic, The parameterized local deduction theorem for quasivarieties of algebras and its application, A variety with locally solvable but globally unsolvable word problem, Central elements in varieties with the Fraser-Horn property, Two properties of fuzzy subquasigroups of a quasigroup, On the multiplicative semigroup of a ring, Generalized varieties, Classes closed under isomorphisms, retractions, and products, On the scope of some formulas defining additive connectives in fuzzy logics, Definability of directly indecomposable congruence modular algebras, Mathematical fuzzy logic as a tool for the treatment of vague information, Bases for modules., Perfect and bipartite IMTL-algebras and disconnected rotations of prelinear semihoops, Fuzzy Horn logic. I. Proof theory., Unnamed Item, On semidirect and two-sided semidirect products of finite $\mathcal {J}$trivial monoids, A Characterization of Finitely Decidable Congruence Modular Varieties, Zero-place operations and functional completeness, and the definition of new connectives, Finitely Decidable Congruence Modular Varieties, Unnamed Item, Decidable discriminator varieties from unary varieties, Somep-algebras and doublep-algebras having only principal congruences, On decidable varieties of Heyting algebras, Unnamed Item, Decidable Discriminator Varieties from Unary Classes, Unnamed Item, Free Algebras in Certain Varieties of Distributive Pseudocomplemented De Morgan Algebras, An algebraic characterization of frontier testable tree languages, Term rewriting and Hoare logic -- Coded rewriting, Locally commutative power semigroups and counting factors of words, Nonfinitely based pseudovarieties and inherently nonfinitely based varieties, Compact algebras in discriminator varieties, An algebraic approach to linguistic hedges in Zadeh's fuzzy logic, A Sahlqvist theorem for distributive modal logic, Compositions with superlinear deterministic top-down tree transformations, Universal algebras, A characterization of congruence permutable locally finite varieties, On iterated semidirect products of finite semilattices, Elementary equivalent pairs of algebras associated with sets, On a characterization of lattices by the betweenness relation --- on a problem of M. Kolibiar, Nonassociative Boolean ring varieties, Orthomodular lattices whose MacNeille completions are not orthomodular, An algebraic characterization of semantic independence, Quantifiers on distributive lattices, Congruence uniform distributive lattices, Construction of monadic three-valued Łukasiewicz algebras, Algebraization of quantifier logics, an introductory overview, Discriminator varieties and symbolic computation, Priestley duality and quotient lattices of many-valued algebras, Sheaf representation and Chinese Remainder Theorems, Effective subdirect decomposition: A case study, A field guide to equational logic, Subsumption computed algebraically, Countable skeletons of finitely generated discriminator varieties, On amalgamation classes of pseudocomplemented semilattices, Irreducible orthomodular lattices which are simple, The lattice of distributive closure operators over an algebra, On the lattice of completely regular monoid varieties, On finitely based groups and nonfinitely based quasivarieties, Category equivalence preserves unification type, Varieties of shells, Subquasivarieties of regularized varieties, An algebraic generalization of Frege structures -- binding algebras, General varieties of tree languages, \(E\)-solid e-varieties are not finitely based, A finite equational axiomatization of the functional algebras for the lambda calculus, Graphical operations on projective spaces, Prime spectra of lattice-ordered abelian groups, A note on the fixed point for the polynomials of a Boolean algebra with an operator of endomorphism, Arguesian identities in linear lattices, Congruence modularity implies the Arguesian law for single algebras with a difference term, Ultraproducts of \(\mathbb{Z}\) with an application to many-valued logics, Model theoretic properties in the variety generated by a primal algebra, On the structure of varieties with equationally definable principal congruences. IV, Semigroups obeying the term condition, Wajsberg algebras and Post algebras, Completions of orthomodular lattices. II, Decidable discriminator varieties with lattice stalks, Bjarni Jónsson's contributions in algebra, Decomposition of regular subsemigroup lattices, The inference of tree languages from finite samples: An algebraic approach, Quasi-varieties of solvable lattice-ordered groups, Discriminating varieties, The determination of subvarieties of certain congruence-distributive varieties, A concept of variety for regular biordered sets, Perfect MV-algebras are categorically equivalent to Abelian \(l\)-groups, Amalgamation in varieties of distributive double \(p\)-algebras, \(e\)-varieties of regular semigroups, relatively bifree objects and fully invariant congruences, On the quasivariety of BCK-algebras and its subvarieties, A note on injectivity and Boolean products, Representable biresiduated lattices, Varieties of commutative residuated integral pomonoids and their residuation subreducts, TC semigroups and inflations, \(E\)-free objects in \(E\)-varieties of inverse rings, Tableau method for residuated logic, Algorithmic problems for finite groups and finite \(0\)-simple semigroups, Projective limits of \(MV\)-spaces, Many-sorted algebras in congruence modular varieties, A bundle representation for continuous geometries, Fuzzifications of concrete categories and homomorphy degrees of mappings between universal algebras, Almeida's generalized variety problem, Small congruence distributive varieties: retracts, injectives, equational compactness and amalgamation, Equations in the theory of \(Q\)-distributive lattices, Three notes on distributive lattices, On extensions of intermediate logics by strong negation, Finitely generated free modular ortholattices. I, Two-sorted metric temporal logics, Observational ultraproducts of polynomial coalgebras., Topology of order complexes of intervals in subgroup lattices., Anshakov-Rychkov algebras, \(ILI\)-ideals and prime \(LI\)-ideals in lattice implication algebras., Resolution-based decision procedures for the universal theory of some classes of distributive lattices with operators, Right cancellative and left ample monoids: quasivarieties and proper covers, MV-algebras, multiple bets and subjective states, On the algebraic models of lambda calculus, Boolean products of BL-algebras, Category metrics and valuations of concrete categories, Inherently nonfinitely based lattices, A note on identities of two-dimensional languages, Dirichlet series whose partial sums of coefficients have regular variation, Fragments of R-mingle, A non-finitely based quasi-variety of De Morgan algebras, Negative equivalence of extensions of minimal logic, On the structure of paraconsistent extensions of Johansson's logic, Decidable locally finite discriminator varieties arising from dihedral varieties of groups, Abelian algebras and the Hamiltonian property, Representation and preservation of the metamathematical quotients of A. Robinson
