Compactness and independence in non first order frameworks

Bulletin of Symbolic Logic 11 (1):28-50 (2005)
  Copy   BIBTEX

Abstract

This communication deals with positive model theory, a non first order model theoretic setting which preserves compactness at the cost of giving up negation. Positive model theory deals transparently with hyperimaginaries, and accommodates various analytic structures which defy direct first order treatment. We describe the development of simplicity theory in this setting, and an application to the lovely pairs of models of simple theories without the weak non finite cover property

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,953

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2009-01-28

Downloads
118 (#155,516)

6 months
17 (#161,775)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

On Supersimplicity and Lovely Pairs of Cats.Itay Ben-Yaacov - 2006 - Journal of Symbolic Logic 71 (3):763 - 776.
On supersimplicity and lovely pairs of cats.Itaï Ben Yaacov - 2006 - Journal of Symbolic Logic 71 (3):763-776.

Add more citations

References found in this work

Simple theories.Byunghan Kim & Anand Pillay - 1997 - Annals of Pure and Applied Logic 88 (2-3):149-164.
Categoricity for abstract classes with amalgamation.Saharon Shelah - 1999 - Annals of Pure and Applied Logic 98 (1-3):261-294.
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.

View all 17 references / Add more references