4 votos

Algebraicity hace implica dividir (teoría modelo)

Supongamos que $A$ es un conjunto de parámetros en un modelo $M$ y $a,\overline{b}$ son respectivamente un elemento y una tupla de $M$ tal que $a\in \operatorname{acl}(A\overline{b})\setminus \operatorname{acl}(A)$.

Está claro que en este caso, el tipo $\operatorname{tp}(a/A\overline{b})$ horquillas $A$: Si $\{a_1=a,a_2\ldots,a_k\}$ el finito muchas realizaciones del tipo $\operatorname{tp}(a/A\overline{b})$, entonces tenemos $$\operatorname{tp}(a/A\overline{b})\models \bigvee_{i=1}^k x=a_i,$$and each of the formulas $x = a_i $ 2-divide over $A$.

Sin embargo, mi pregunta es:

¿Hace necesariamente $\operatorname{tp}(a/A\overline{b})$ se divide en $A$?

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X