Yo intente resolver el problema de 1.3.14 en Chang y Keisler del Modelo de la teoría:
Para cada una de las $n\in\omega$, encontrará un modelo de $\mathfrak{A}_n$ $\mathcal{L}$ un idioma con sólo un número finito de símbolos, que tiene exactamente $n$ indefinible elementos.
Es fácil de resolver cuando se $n\neq 1$ (acaba de tomar el lenguaje, el cual sólo tiene un símbolo de la igualdad y $n$-elemento definido como un dominio). Sin embargo, como este libro de texto comentado, en el caso de $n=1$ es extremadamente difícil para mí. Todos mis intentos son fallidos y no sé cómo resolver el problema.
Así que mi pregunta es: hay un modelo que tiene sólo una indefinible elemento más de un idioma con sólo un número finito de símbolos? Gracias por la ayuda.
Esta pregunta es no duplicar con esa pregunta debido a que esta pregunta sólo se considere el modelo de lenguaje con un número finito de símbolos. En esta pregunta, considero que la igualdad símbolo lógico como símbolos.
