Una conjetura abierta en teoría de modelos que afirma que toda teoría completa de primer orden en un lenguaje contable tiene o bien un número contable o bien un número del continuo de modelos contables no isomorfos; excluye cardinalidades intermedias para el número de modelos contables.

Principio

Dicotomía propuesta: para teorías completas contables, el conjunto de tipos de isomorfismo de modelos contables debería tener tamaño ℵ0 o 2^{ℵ0}; la conjetura impone una restricción global sobre cómo puede comportarse la diversidad de modelos en el dominio contable.

Demostración

Casos conocidos verifican la dicotomía para muchas clases importantes: teorías ω‑estables tienen un número contable de modelos contables, mientras que ejemplos inestables como el grafo aleatorio dan el número del continuo. Estos ejemplos muestran los dos extremos permitidos pero no resuelven la conjetura general.

Aplicación incorrecta

Tratar la conjetura como un teorema y aplicarla a lenguajes no contables o a teorías incompletas, o suponer que limita modelos en cardinalidades mayores; tales usos ignoran el estado no resuelto y las hipótesis específicas de la conjetura.

Consecuencia

Si fuera verdadera, impondría una fuerte clasificación global sobre teorías contables, simplificando las posibilidades para el número de modelos y orientando la teoría de clasificación; un contraejemplo revelaría un fenómeno nuevo de complejidad intermedia.

Inversión

La negación sería la existencia de una teoría completa contable con cardinalidad estrictamente intermedia de modelos contables no isomorfos (por ejemplo ℵ1 bajo ciertas hipótesis), demostrando que la dicotomía falla.

Límite

Abarca teorías completas de primer orden en lenguajes contables y el número de modelos contables no isomorfos únicamente; no afirma nada sobre teorías incompletas, modelos no contables ni otras lógicas sin hipótesis adicionales.

Tensión semántica

Tensión entre la complejidad desde la teoría descriptiva de conjuntos (análisis boreliano/turbulencia) y los invariantes modelo‑teóricos (estabilidad, rango de Morley); la conjetura se sitúa en esa intersección y resiste resolución desde una única perspectiva.

Síntesis

La Conjetura de Vaught propone una dicotomía clara para el número de modelos contables no isomorfos de una teoría completa contable — contable o del continuo — y sintetiza una restricción central no resuelta sobre cuán variado puede ser el universo de modelos contables.