Locally finite varieties.

DOI10.1007/PL00000358MaRDI QIDQ1771891zbMATH OpenOpenAlexFDO

Authors Guram Bezhanishvili

Publication date 19 April 2005

Published in Algebra Universalis (Search for Journal in Brave)

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

zbMATH Keywords

finitely generated varietylocally finite varietyregularly locally finite classuniformly locally finite class

Mathematics Subject Classification ID

Free algebras (08B20) Axiomatic model classes (08C10)

Review text

The following criterion for a variety \(\mathcal V\) is proved: \(\mathcal V\) is locally finite iff \(\mathcal V\) is generated by a regular locally finite class iff the class \(\mathcal V_{SI}\) is regularly locally finite in the weak sense. If \(\mathcal V\) has a finite signature then \(\mathcal V\) is locally finite iff \(\mathcal V\) is generated by a uniformly locally finite class. Corollary: If a variety \(\mathcal V\) is finitely generated then it is locally finite. A number of interesting examples is included.

Recommendations

• Locally finite varieties with large free spectra.
• On locally finite modules.
• Homogeneous locally finite varieties
• scientific article; zbMATH DE number 1059945
• Finiteness of local homology modules
• A FINITENESS RESULT FOR LOCAL COHOMOLOGY MODULES
• Finiteness theorems in the class field theory of varieties over local fields.
• Locally finite profinite rings.
• scientific article; zbMATH DE number 796971

Cited in

(30)

• Frame based formulas for intermediate logics
• On locally finite modules.
• Finitely determined arithmetical varieties need not be universally- finite
• Homogeneous locally finite varieties
• Locally finite varieties with large free spectra.
• Hereditarily structurally complete superintuitionistic deductive systems
• An algebraic study of S5-modal Gödel logic
• Boolean algebras of conditionals, probability and logic
• The variety generated by the truth value algebra of type-2 fuzzy sets
• A strict implication calculus for compact Hausdorff spaces
• Closure Łukasiewicz algebras
• Finitely generated equational classes
• On a local analogue of the Grothendieck conjecture.
• The structure of locally finite varieties with polynomially many models
• scientific article; zbMATH DE number 3847600 (Why is no real title available?)
• 2004 Summer Meeting of the Association for Symbolic Logic
• Locally solvable factors of varieties
• Strict coherence on many-valued events
• Coproducts of distributive lattice-based algebras.
• Cofinal stable logics
• Varieties of Birkhoff systems. I
• Flat algebras and the translation of universal Horn logic to equational logic
• Cyclic Tarski algebras
• Varieties of pseudocomplemented Kleene algebras
• Natural extensions and profinite completions of algebras
• Bi-intermediate logics of trees and co-trees
• Sufficient conditions for local tabularity of a polymodal logic
• The monadic Grzegorczyk logic
• Local finiteness in varieties of MS4-algebras
• Locally finite varieties of Heyting algebras

This page was built for publication: Locally finite varieties.

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