On the size of congruence lattices for models of theories with definability of congruences

DOI10.1007/BF01194542zbMath0538.03031MaRDI QIDQ793011

Sauro Tulipani

Publication date: 1983

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

zbMATH Keywords

infinite modelsdefinabilitycategorical theoriescompact congruencesmodel of first order theorysize of congruence lattices

Mathematics Subject Classification ID

Subalgebras, congruence relations (08A30) Models of other mathematical theories (03C65) Categoricity and completeness of theories (03C35)

Related Items

Unnamed Item

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Uniform congruence schemes
• \(\aleph_0\)-categoricity for rings without nilpotent elements and for Boolean structures
• The number of subdirectly irreducible algebras in a variety
• Model theory
• \(\aleph_0\)-categoricity of groups
• Residually small varieties
• The stability function of a theory
• Model‐Completions of Theories of Finitely Additive Measures with Values in An Ordered Field
• ℵ₀-categorical modules