Lovely pairs of models: The non first order case

Journal of Symbolic Logic 69 (3):641-662 (2004)
Abstract
We prove that for every simple theory T (or even simple thick compact abstract theory) there is a (unique) compact abstract theory $T^\mathfrak{B}$ whose saturated models are the lovely pairs of T. Independence-theoretic results that were proved in [5] when $T^\mathfrak{B}$ is a first order theory are proved for the general case: in particular $T^\mathfrak{B}$ is simple and we characterise independence
Keywords simple theories   lovely pairs
Categories (categorize this paper)
DOI 10.2178/jsl/1096901759
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 38,035
Through your library

References found in this work BETA

Simple Theories.Byunghan Kim & Anand Pillay - 1996 - Annals of Pure and Applied Logic 88 (2):149-164.
Lovely Pairs of Models.Itay Ben-Yaacov, Anand Pillay & Evgueni Vassiliev - 2003 - Annals of Pure and Applied Logic 122 (1-3):235-261.
Positive Model Theory and Compact Abstract Theories.Itay Ben-Yaacov - 2003 - Journal of Mathematical Logic 3 (01):85-118.
Simplicity in Compact Abstract Theories.Itay Ben-Yaacov - 2003 - Journal of Mathematical Logic 3 (02):163-191.

Add more references

Citations of this work BETA

Positive Jonsson Theories.Bruno Poizat & Aibat Yeshkeyev - 2018 - Logica Universalis 12 (1-2):101-127.
Compactness and Independence in Non First Order Frameworks.Itay Ben-Yaacov - 2005 - Bulletin of Symbolic Logic 11 (1):28-50.

Add more citations

Similar books and articles

Causation and the Making/Allowing Distinction.Sarah McGrath - 2003 - Philosophical Studies 114 (1-2):81 - 106.
Compactness and Independence in Non First Order Frameworks.Itay Ben-Yaacov - 2005 - Bulletin of Symbolic Logic 11 (1):28-50.
On Supersimplicity and Lovely Pairs of Cats.Itay Ben-Yaacov - 2006 - Journal of Symbolic Logic 71 (3):763 - 776.
On Scott and Karp Trees of Uncountable Models.Tapani Hyttinen & Jouko Väänänen - 1990 - Journal of Symbolic Logic 55 (3):897-908.
Leibnizian Models of Set Theory.Ali Enayat - 2004 - Journal of Symbolic Logic 69 (3):775-789.
Limit Ultrapowers and Abstract Logics.Paolo Lipparini - 1987 - Journal of Symbolic Logic 52 (2):437-454.
Discouraging Results for Ultraimaginary Independence Theory.Itay Ben-Yaacov - 2003 - Journal of Symbolic Logic 68 (3):846-850.
T-Convexity and Tame Extensions.LouDen Dries & Adam H. Lewenberg - 1995 - Journal of Symbolic Logic 60 (1):74 - 102.
On Lovely Pairs and the (∃ y ∈ P ) Quantifier.Anand Pillay & Evgueni Vassiliev - 2005 - Notre Dame Journal of Formal Logic 46 (4):491-501.

Analytics

Added to PP index
2009-02-05

Total views
44 ( #154,224 of 2,312,747 )

Recent downloads (6 months)
8 ( #82,639 of 2,312,747 )

How can I increase my downloads?

Monthly downloads

My notes

Sign in to use this feature