Inherently nonfinitely based lattices

DOI10.1016/S0168-0072(01)00089-6zbMath1015.03037MaRDI QIDQ1612484

J. B. Nation, George F. McNulty, Ralph Freese

Publication date: 22 August 2002

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

zbMATH Keywords

latticefinite axiomatizabilityinherently nonfinitely based

Mathematics Subject Classification ID

Equational classes, universal algebra in model theory (03C05) Varieties of lattices (06B20)

Related Items

Ultraproducts preserve finite subdirect reducibility ⋮ Inflation of finite lattices along all-or-nothing sets ⋮ EQUATIONAL COMPLEXITY OF THE FINITE ALGEBRA MEMBERSHIP PROBLEM

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Basic questions for general algebras
• Equational theory of positive numbers with exponentiation is not finitely axiomatizable
• Finite equational bases for congruence modular varieties
• Finite equational bases for finite algebras in a congruence-distributive equational class
• The generalized doubling construction and formal concept analysis
• Identities satisfied by a finite ring
• A counterexample to the finite height conjecture
• Weak (projective) radius and finite equational bases for classes of lattices
• Equational classes of modular lattices
• Bases for equational theories of semi-groups
• Primitive subsets of lattices
• Identical relations in finite groups
• On the Arithmetic of Projective Coordinate Systems
• The Laws of Finite Pointed Groups
• Doubling Constructions in Lattice Theory
• Equational Bases for Lattice Theories.
• The structure of modular lattices of width four with applications to varieties of lattices
• ON ADDITIONAL LAWS IN THE BURNSIDE PROBLEM ON PERIODIC GROUPS
• Tarski’s finite basis problem via 𝐀(𝒯)
• ALGORITHMIC PROBLEMS IN VARIETIES
• TARSKI’S FINITE BASIS PROBLEM IS UNDECIDABLE
• A finite basis theorem for residually finite, congruence meet-semidistributive varieties
• Identities in Two-Valued Calculi
• Identities in Finite Algebras
• The Two-Valued Iterative Systems of Mathematical Logic. (AM-5)

This page was built for publication: Inherently nonfinitely based lattices