Nondefinability of projectivity in lattice varieties

DOI10.1007/BF01194536zbMath0535.06005OpenAlexW2040283073MaRDI QIDQ790855

Kirby A. Baker

Publication date: 1983

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

Full work available at URL: https://doi.org/10.1007/bf01194536

zbMATH Keywords

lattice varietyprincipal congruencesfirst order definablelength of weak projectivities

Mathematics Subject Classification ID

Varieties of lattices (06B20)

Related Items (1)

Bjarni Jónsson's contributions in algebra

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Uniform congruence schemes
• Congruence varieties
• On free modular lattices generated by finite chains
• Finite equational bases for finite algebras in a congruence-distributive equational class
• Para primal varieties: A study of finite axiomatizability and definable principal congruences in locally finite varieties
• Weak (projective) radius and finite equational bases for classes of lattices
• Primitive subsets of lattices
• The structure of relatively complemented lattices
• Primitive Satisfaction and Equational Problems for Lattices and Other Algebras
• Algebras Whose Congruence Lattices are Distributive.

This page was built for publication: Nondefinability of projectivity in lattice varieties