þ-Forking and Stable Forking

Abstract

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.