Los ejemplos estándar de teorías completas pero no completas parecen ser:
- Órdenes lineales densas con puntos finales.
- La teoría completa $\mathrm{Th}(\mathcal{M})$ de $\mathcal{M}$, donde $\mathcal{M} = (\mathbb{N}, >)$ es la estructura de números naturales equipados con la relación $>$ (y nada más, es decir, sin adición, etc.).
¿Puede alguien explicar o hacer una referencia para mostrar por qué cualquiera de estas dos teorías no son completas con el modelo, o dar otro ejemplo por completo de una teoría completa pero no completa del modelo (con explicación)?
