On the size of congruence lattices for models of theories with definability of congruences
From MaRDI portal
Publication:793011
DOI10.1007/BF01194542zbMath0538.03031MaRDI QIDQ793011
Publication date: 1983
Published in: Algebra Universalis (Search for Journal in Brave)
infinite models; definability; categorical theories; compact congruences; model of first order theory; size of congruence lattices
08A30: Subalgebras, congruence relations
03C65: Models of other mathematical theories
03C35: Categoricity and completeness of theories
Related Items
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
- ℵ0-categorical modules