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.

Principle

Require that for every countable set of parameters the space of complete types is countable, producing compactness in the combinatorial diversity of definable behaviour over countable fragments.

Demonstration

The theory of an infinite-dimensional vector space over a fixed finite field is omega-stable: over any countable parameter set types correspond to linear-algebraic configurations constrained by finite-field dimension, yielding countably many possibilities.

Misapplication

Assuming that omega-stability implies categoricity in all uncountable cardinals; omega-stability controls types over countable sets but does not alone guarantee uncountable categoricity without further hypotheses.

Consequence

Omega-stability yields deep model-theoretic consequences such as existence of well-behaved rank functions, detailed analysis of types and prime models over countable sets, and often strong structural descriptions of countable models.

Reversal

The opposite is a theory that has uncountably many types over some countable parameter set (i.e., not omega-stable), which typically admits much wilder combinatorial behaviour and resists the same classification techniques.

Boundary

Applies within complete first-order theories; it is specifically about countable parameter sets and does not by itself control behaviour over uncountable parameter sets or in non-first-order frameworks.

Semantic Tension

Close to but distinct from categoricity and superstability: omega-stability focuses on countable parameter control, while categoricity concerns uniqueness of models in a given cardinal and superstability imposes bounds for larger cardinalities.

Synthesis

Omega-stability is the restriction that types over any countable parameter set are countable in number, concentrating combinatorial control on countable fragments and enabling precise classification and rank analyses for models.