þ-Forking and Stable Forking

• Autores: Clifton Ealy, Alf Onshuus
• Localización: Revista de la Academia Colombiana de ciencias exactas, físicas y naturales, ISSN 0370-3908, Vol. 40, Nº. 157, 2016, págs. 683-689
• Idioma: inglés
• Títulos paralelos:
  • þ-Bifurcación y Propiedad de la Bifurcación Estable
• Enlaces
  • Texto completo
• Resumen
  • español

    Usamos una contrucción particular de una relación de independencia para demostrar que en cualquier teoría þ-bifurcación es equivalente a bifurcación con una fórmula estable (en el sentido específico de st-bifurcación dada en la Definición 1.3). También demostramos que si tenemos þ-división podemos lograr división fuerte sobre una base que pertenece a la clausura algebraica del conjunto parámetro.

  • English

    We use the construction of an independence relation to prove that þ-forking is equivalent to forking of a stable formula (in the sense of st-forking, see Definition 1.3) in all theories, and to show that from þ-dividing one can always achieve strong dividing over a base which is in the definable closure of the parameter set.