Portal de Periódicos da CAPES

þ-Forking and Stable Forking

2016; Volume: 40; Issue: 157 Linguagem: Espanhol

10.18257/raccefyn.351

2382-4980

Clifton Ealy, Alf Onshuus,

Logic, programming, and type systems

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.