Una teoría de estructuras ordenadas en la que todo subconjunto definible de la recta (dominio unidimensional) es una unión finita de puntos e intervalos; la o-minimalidad impone una fuerte suavidad geométrica a los conjuntos definibles.

Principio

Exigir que los subconjuntos definibles del dominio en una variable sean simples —uniones finitas de puntos e intervalos— de modo que los conjuntos definibles de dimensión superior hereden propiedades geométricas y topológicas templadas mediante descomposición en celdas y teoría de la dimensión.

Demostración

La teoría del campo ordenado de los reales es o-minimal: todo subconjunto definible de la recta real es una unión finita de puntos y de intervalos abiertos o cerrados, lo que proporciona geometría templada y permite herramientas como la descomposición en celdas y la continuidad definible.

Aplicación incorrecta

Suponer que la o-minimalidad se deduce de cualquier orden débil o de la mera ausencia de combinatoria patológica; muchas estructuras ordenadas no son o-minimales y no se puede inferir o-minimalidad únicamente de NIP o estabilidad.

Consecuencia

La o-minimalidad produce consecuencias potentes: los conjuntos definibles tienen complejidad topológica finita, las dimensiones se comportan de forma predecible, las funciones definibles son por tramos continuas y bajo expansiones suaves diferenciables, y se obtiene un fuerte control geométrico y medible.

Inversión

El opuesto son teorías ordenadas donde algún subconjunto definible de la recta exhibe comportamiento fractal o altamente oscilatorio, o codifica patrones discretos arbitrarios; dichas teorías carecen de la suavidad o-minimal y admiten conjuntos definibles salvajes.

Límite

Se aplica a expansiones de primer orden de estructuras ordenadas y toma como punto de partida los conjuntos definibles unidimensionales; excluye teorías donde el orden interactúa con una combinatoria más rica o con completitud no definible, y no se generaliza fácilmente a lenguajes no ordenados.

Tensión semántica

Existe tensión con NIP y la estabilidad: la o-minimalidad es más fuerte y de naturaleza geométrica —toda teoría o-minimal es NIP, pero no al revés; la o-minimalidad exige regularidad ordenada más allá de la mera suavidad combinatoria.

Síntesis

La o-minimalidad es la condición de suavidad basada en el orden que exige que los conjuntos definibles unidimensionales sean uniones finitas de puntos e intervalos, lo que se propaga a una geometría multidimensional templada y a una fuerte regularidad de las funciones definibles.