Lattice-theoretic decision problems in universal algebra

DOI10.1007/BF02485250zbMath0322.02045MaRDI QIDQ1223286

Hanamantagouda P. Sankappanavar, Stanley N. Burris

Publication date: 1975

Published in: Algebra Universalis (Search for Journal in Brave)

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Structure theory of lattices (06B05) Algebraic structures (08Axx)

Related Items

Undecidability of free pseudo-complemented semilattices, Undecidability of relatively free Hilbert algebras, Undecidable fragments of elementary theories, The decision problem for finite algebras from arithmetical varieties with equationally definable principal congruences, Undecidability of the structure of the Solovay degrees of c.e. reals, Initial segments of the lattice of Π₁⁰ classes, Structural diversity in the lattice of equational theories, Varieties of posets, Boolean powers, Undecidability and initial segments of the (r.e.) tt-degrees, The undecidability of the elementary theory of lattices of all equational theories of large signature, Undecidability results for low complexity time classes

Cites Work

• Unnamed Item
• Unnamed Item
• Congruence lattices of relatively free unary algebras
• Elementary lattice theories for ideals in polynomial rings
• On the structure of the lattice of equational classes \({\mathcal L}(\tau)\)
• On elementary theories of lattices of subgroups
• The lattice of semigroup varieties
• On simple ideals in polynomial rings
• Embedding the dual of \(\Pi^\infty\) in the lattice of equational classes of semigroups.
• Undecidable theories
• The first order properties of products of algebraic systems
• Congruence Relations in Semi-Lattices
• Decidability of Second-Order Theories and Automata on Infinite Trees
• Negative solution of the decision problem for sentences true in every subalgebra of 〈N, +〉
• The Lattice of Equational Classes of Algebras with One Unary Operation
• Cancellation laws in the arithmetic of cardinals
• Undecidability of Some Topological Theories
• On direct products of theories