Inherently nonfinitely based lattices
From MaRDI portal
Publication:1612484
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)
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