Karp complexity and classes with the independence property

&
Annals of Pure and Applied Logic 120 (1-3):263-283 (2003)
  Copy   BIBTEX

Abstract

A class K of structures is controlled if for all cardinals λ, the relation of L∞,λ-equivalence partitions K into a set of equivalence classes . We prove that no pseudo-elementary class with the independence property is controlled. By contrast, there is a pseudo-elementary class with the strict order property that is controlled 69–88)

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(02)00080-5

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,867

External links

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

Through your library

My notes

Similar books and articles

The Karp complexity of unstable classes.M. C. Laskowski & S. Shelah - 2001 - Archive for Mathematical Logic 40 (2):69-88.
Building prime models in fully good abstract elementary classes.Sebastien Vasey - 2017 - Mathematical Logic Quarterly 63 (3-4):193-201.
Shelah's Categoricity Conjecture from a Successor for Tame Abstract Elementary Classes.Rami Grossberg & Monica Vandieren - 2006 - Journal of Symbolic Logic 71 (2):553 - 568.
Abstract elementary classes and infinitary logics.David W. Kueker - 2008 - Annals of Pure and Applied Logic 156 (2):274-286.
Index sets for some classes of structures.Ekaterina B. Fokina - 2009 - Annals of Pure and Applied Logic 157 (2-3):139-147.
Symmetry in abstract elementary classes with amalgamation.Monica M. VanDieren & Sebastien Vasey - 2017 - Archive for Mathematical Logic 56 (3-4):423-452.
Simple generic structures.Massoud Pourmahdian - 2003 - Annals of Pure and Applied Logic 121 (2-3):227-260.
Erratum to “Categoricity in abstract elementary classes with no maximal models” [Ann. Pure Appl. Logic 141 (2006) 108–147].Monica M. VanDieren - 2013 - Annals of Pure and Applied Logic 164 (2):131-133.
The {L}aczkovich—{K}omjáth property for coanalytic equivalence relations.Su Gao, Steve Jackson & Vincent Kieftenbeld - 2010 - Journal of Symbolic Logic 75 (3):1091-1101.
Quasi-modal equivalence of canonical structures.Robert Goldblatt - 2001 - Journal of Symbolic Logic 66 (2):497-508.

Analytics

Added to PP
2014-01-16

Downloads
14 (#992,266)

6 months
7 (#592,566)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Indiscernibles, EM-Types, and Ramsey Classes of Trees.Lynn Scow - 2015 - Notre Dame Journal of Formal Logic 56 (3):429-447.
Characterization of NIP theories by ordered graph-indiscernibles.Lynn Scow - 2012 - Annals of Pure and Applied Logic 163 (11):1624-1641.
Ranks based on strong amalgamation Fraïssé classes.Vincent Guingona & Miriam Parnes - 2023 - Archive for Mathematical Logic 62 (7):889-929.
The stability spectrum for classes of atomic models.John T. Baldwin & Saharon Shelah - 2012 - Journal of Mathematical Logic 12 (1):1250001-.

View all 6 citations / Add more citations

References found in this work

Models of Axiomatic Theories Admitting Automorphisms.A. Ehrenfeucht & A. Mostowski - 1966 - Journal of Symbolic Logic 31 (4):644-645.
Models without indiscernibles.Fred G. Abramson & Leo A. Harrington - 1978 - Journal of Symbolic Logic 43 (3):572-600.
Colouring and non-productivity of ℵ2-cc.Saharon Shelah - 1997 - Annals of Pure and Applied Logic 84 (2):153-174.
Colouring and non-productivity of ℵ2-C.C.Saharon Shelah - 1997 - Annals of Pure and Applied Logic 84 (2):153-174.

View all 6 references / Add more references