Displaying similar documents to “Decidability and structure”

Varieties with polynomially many models, I

Paweł M. Idziak, Ralph McKenzie (2001)

Fundamenta Mathematicae

Similarity:

A characterization of locally finite congruence modular varieties with the number of at most k-generated models being bounded from above by a polynomial in k is given. These are exactly the varieties polynomially equivalent to the varieties of unitary modules over a finite ring of finite representation type.

Modyfications of Csákány's Theorem

Ivan Chajda (2000)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

Varieties whose algebras have no idempotent element were characterized by B. Csákány by the property that no proper subalgebra of an algebra of such a variety is a congruence class. We simplify this result for permutable varieties and we give a local version of the theorem for varieties with nullary operations.