Positive universal classes in locally finite varieties

DOI10.1007/S00012-010-0089-9MaRDI QIDQ616122zbMATH OpenOpenAlexFDO

Authors G. Grätzer, Robert W. Quackenbush

Publication date 7 January 2011

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00012-010-0089-9

zbMATH Keywords

locally finite varietiesQ-independent sequenceuniversal quantifiervariety generated by planar modular latticesvariety of semilattices

Mathematics Subject Classification ID

Semilattices (06A12) Modular lattices, Desarguesian lattices (06C05) Lattices of varieties (08B15)

Review text

Consider a fixed type of algebras. A Q-independent sequence of algebras is a sequence\break \(A_1,A_2,A_3,\dots\) of algebras such that, for arbitrary \(i\neq j\), \(A_i\) is not a homomorphic image of a subalgebra of \(A_j\). It is proved that locally finite varieties having a Q-independent sequence have continuum many subclasses defined by universally quantified disjunctions of equations. Especially, this is true for the variety of semilattices. Moreover, it is proved that if, in addition, the variety is congruence-distributive and has a Q-independent sequence of subdirectly irreducible algebras, then it has continuum many subvarieties. Especially, this is true for the variety generated by planar modular lattices.

Recommendations

• On lattice-universal varieties of algebras
• Lattices of boundedly axiomatizable \(\forall\)-subclasses of \(\forall\)-classes of universal algebras
• \(Q\)-universal varieties of bounded lattices.
• Structure of lattices of varieties and lattices of quasivarieties: Similarity and difference. II
• scientific article; zbMATH DE number 3914390

Cites work

• Algebras Whose Congruence Lattices are Distributive.
• Distinguished extensions of a lattice-ordered group
• scientific article; zbMATH DE number 3366941 (Why is no real title available?)
• scientific article; zbMATH DE number 2243109 (Why is no real title available?)
• Subdirectly irreducible modular lattices of width at most 4
• The structure of modular lattices of width four with applications to varieties of lattices
• The variety generated by planar modular lattices
• Two notes on the variety generated by planar modular lattices

Cited in

(7)

• Characterizing fully principal congruence representable distributive lattices
• Two notes on the variety generated by planar modular lattices
• scientific article; zbMATH DE number 4108983 (Why is no real title available?)
• The positivity of local equivariant Hirzebruch class for toric varieties
• Hereditarily structurally complete positive logics
• THE LATTICE OF SUPER-BELNAP LOGICS
• Yankov Characteristic Formulas (An Algebraic Account)

This page was built for publication: Positive universal classes in locally finite varieties

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q616122)