En su papel: Un estudio Básico de la Teoría de la Estabilidad (http://link.springer.com/article/10.1007%2FBF02760649#page-1) Makki presenta dos (básico) hechos:
Trabajamos en un monstruo modelo de una completa estabilidad de la teoría de $T$ .
1) Dado un tipo de $p$$A$, entonces no es exactamente una extensión de $p$ (hasta $A$ conjugacy) a un tipo ideal $\bf{p}$ s.t. el conjunto de $A$-conjugados de $\bf{p}$ tiene cardinalidad $\leq{2^{|T|}}$. El conjunto de estos tipos se denota por a $O_{p}$. Los elementos de $O_p$ son llamados a la no-que se bifurcan extensiones de $p$.
Un tipo de $q\in{S(B)}$ $A\subseteq{B}$ se llama un no-se bifurcan extensión de $p$ fib $q$ es la restricción de algunos $\bf{q}\in{O_{p}}$.
2) Cualquier tipo ideal no es una bifurcación de la extensión de algún tipo a través de un conjunto de tamaño $\leq{T}$.
Podemos decir $B\overset{\vert}{\smile}_{A}C$ fib para cualquier tupla $b$ de los elementos de$B$, $tp(b/AC)$ no desembolsar más de $tp(b/A)$.
A continuación, se enumeran las propiedades de la bifurcación: a Saber, la invariancia, la existencia, la monotonía, la transitividad y la simetría, en ese orden.
Mis preguntas son:
1) me las he arreglado para mostrar todas las propiedades excepto para la simetría seguir a partir de los dos hechos básicos. Pero me gustaría saber: ¿Cómo se puede demostrar la simetría de sólo estos dos hechos y las otras cuatro propiedades?
2) ¿Cómo se puede mostrar el uso de los dos hechos fundamentales que $T$ tiene que ser estable?
