The Hanf number for classes of algebras whose largest congruence is always finitely generated

DOI10.1007/BF02488033zbMath0411.03023MaRDI QIDQ1259582

Sauro Tulipani

Publication date: 1979

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

zbMATH Keywords

congruence extension propertysimple algebrasHanf numbercountable universal theoriesfinitely generated largest congruencefirst order theory of universal algebrasinductive theories

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Classical first-order logic (03B10) Classical propositional logic (03B05) Axiomatic model classes (08C10)

Related Items (1)

The cardinality of subdirectly indecomposable systems in quasivarieties

Cites Work

• Unnamed Item
• The number of subdirectly irreducible algebras in a variety
• Model theory for infinitary logic. Logic with countable conjunctions and finite quantifiers
• A note on the congruence extension property
• Residually small varieties
• Incompactness in languages with infinitely long expressions

This page was built for publication: The Hanf number for classes of algebras whose largest congruence is always finitely generated