Omega-Stable Theory
- Pure Mathematics -
Algebra Dictionary
Definition
A complete first-order theory that has only countably many complete types over any countable parameter set, giving strong structural constraints on countable and larger models.