Teoría Omega-Estable
- Pure Mathematics -
Algebra Dictionary
Definición
Una teoría completa de primer orden que tiene solo contablemente muchos tipos completos sobre cualquier conjunto de parámetros contable, lo que impone fuertes restricciones estructurales en modelos contables y mayores.