Esto es (una ligera paráfrasis) de la pregunta 1.3.14 del libro Model Theory de Chang y Keisler.
"Demuestre que para cada número natural $n$ Hay una lengua $L_n$ y el modelo finito $M_n$ de $L$ tal que $M_n$ tiene precisamente $n$ elementos indefinidos".
Aquí, un elemento $x\in M$ es definible si existe una fórmula (de primer orden) en $L$ , llamado $\phi$ , de tal manera que $x$ es el único elemento de $M$ Satisfaciendo a $\phi$ . Por supuesto, "indefinible" significa "no definible".
Está marcado con estrellas, lo que indica que es más difícil que un problema estándar de ese libro.
Chang y Keisler señalan que $n=1$ es el único caso difícil. Con ese espíritu, aquí está la prueba para todos $n\neq 1$ .
Dejemos que $L_n$ tienen un único símbolo de predicado de 2 lugares (estoy pensando en $L_n = \{ < \}$ ). Sea $M_n$ sea el orden parcial con el mínimo a y con elementos $b_1,...,b_{n}$ con $a < b_i$ para todos $i$ y el $b_i$ incomparables entre sí.
En primer lugar, hay que tener en cuenta que a es definible: satisface de forma única $\phi(x) =$ para todo y, $x\leq y$ .
Ahora bien, si $n =0$ no hay $b_i$ y, por tanto, en este modelo, tenemos 0 elementos indefinibles.
Si $n > 1$ Entonces afirmo que todos los $b_i$ son indefinibles. La respuesta corta es que cualquier permutación del $b_i$ puede extenderse a un isomorfismo único de $M_n$ . Por lo tanto, para cualquier fórmula $\phi$ tenemos $\phi(b_i)$ si $\phi(b_j)$ para todos $b_j$ . Por lo tanto, no $\phi$ puede señalar cualquier $b_i$ , por lo que cada $b_i$ es indefinible.
Esta prueba falla completamente para $n=1$ , ya que entonces $b_1$ es el único elemento que satisface "b_1 no es a". O más bien en el espíritu de la lógica de primer orden, $b_1$ es el único elemento que satisface $\phi(x) =$ hay un $y$ tal que para todo $z$ , $y< z$ y $x$ no es igual a $y$ ." Por cierto, esto demuestra que cualquier modelo que funcione para $n=1$ debe tener al menos 3 elementos.
Entonces, mi pregunta es:
¿Cuál es un ejemplo de un lenguaje con modelo finito que tiene precisamente un elemento indefinible? ¿Se conoce la menor cardinalidad de dicho modelo?
Gracias de antemano.