Forking in NTP 2 theories - Mathematics > LogicReportar como inadecuado

Forking in NTP 2 theories - Mathematics > Logic - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: We prove that in theories without the tree property of the second kind whichinclude dependent and simple theories forking and dividing over models are thesame, and in fact over any extension base. As an application we show thatdependence is equivalent to bounded non-forking assuming NTP 2.

Autor: Artem Chernikov, Itay Kaplan


Documentos relacionados