Lovely pairs of models: the non first order case

Simple item page
dc.creatorYaacov, Itaï Ben
dc.date2009-02-01
dc.date.accessioned2026-07-07T12:37:55Z
dc.date.available2026-07-07T12:37:55Z
dc.descriptionWe prove that for every simple theory $T$ (or even simple thick compact abstract theory) there is a (unique) compact abstract theory $T^\fP$ whose saturated models are the lovely pairs of $T$. Independence-theoretic results that were proved in \cite{ppv:pairs} when $T^\fP$ is a first order theory are proved for the general case: in particular $T^\fP$ is simple and we characterise independence.
dc.identifierhttps://arxiv.org/abs/0902.0119
dc.identifierhttp://arxiv.org/abs/0902.0119
dc.identifierJournal of Symbolic Logic 69, 3 (2004) 641-662
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/218577
dc.subjectLogic
dc.subject03C45; 03C95
dc.titleLovely pairs of models: the non first order case
dc.typetext

Files

Collections

arXiv