Elementary classes of finite VC-dimension

Archive for Mathematical Logic 54 (5-6):511-520 (2015)
  Copy   BIBTEX

Abstract

Let be a saturated model of inaccessible cardinality, and let be arbitrary. Let denote the expansion of with a new predicate for. Write for the collection of subsets such that ≡. We prove that if the VC-dimension of is finite then is externally definable.

Categories

Keywords

Reprint years

DOI

10.1007/s00153-015-0424-0

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,219

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

Finite computable dimension does not relativize.Charles F. D. McCoy - 2002 - Archive for Mathematical Logic 41 (4):309-320.
Canonical Finite Diagrams and Quantifier Elimination.Tapani Hyttinen - 2002 - Mathematical Logic Quarterly 48 (4):533-554.
Abstract Elementary Classes with Löwenheim-Skolem Number Cofinal with ω.Gregory M. Johnson - 2010 - Notre Dame Journal of Formal Logic 51 (3):361-371.
Finite h-dimension does not imply expressive completeness.Ian Hodkinson - 1994 - Journal of Philosophical Logic 23 (5):535 - 573.
Independence in finitary abstract elementary classes.Tapani Hyttinen & Meeri Kesälä - 2006 - Annals of Pure and Applied Logic 143 (1-3):103-138.
Abstract elementary classes and infinitary logics.David W. Kueker - 2008 - Annals of Pure and Applied Logic 156 (2):274-286.
Lascar Types and Lascar Automorphisms in Abstract Elementary Classes.Tapani Hyttinen & Meeri Kesälä - 2011 - Notre Dame Journal of Formal Logic 52 (1):39-54.
The Chang-Łoś-Suszko theorem in a topological setting.Paul Bankston - 2006 - Archive for Mathematical Logic 45 (1):97-112.
A stability transfer theorem in d -tame metric abstract elementary classes.Pedro Zambrano - 2012 - Mathematical Logic Quarterly 58 (4-5):333-341.
Choices of Convenient Sets.Antonín Sochor - 1994 - Mathematical Logic Quarterly 40 (1):51-60.
On Absoluteness of Categoricity in Abstract Elementary Classes.Sy-David Friedman & Martin Koerwien - 2011 - Notre Dame Journal of Formal Logic 52 (4):395-402.
Rank Functions and Partial Stability Spectra for Tame Abstract Elementary Classes.Michael J. Lieberman - 2013 - Notre Dame Journal of Formal Logic 54 (2):153-166.
The number of one-generated cylindric set algebras of dimension greater than two.Jean A. Larson - 1985 - Journal of Symbolic Logic 50 (1):59-71.
Uncountably categorical local tame abstract elementary classes with disjoint amalgamation.Tapani Hyttinen - 2006 - Archive for Mathematical Logic 45 (1):63-73.
On recursive enumerability with finite repetitions.Stephan Wehner - 1999 - Journal of Symbolic Logic 64 (3):927-945.

Analytics

Added to PP
2015-03-20

Downloads
21 (#695,936)

6 months
11 (#196,102)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Paires de structures o-minimales.Yerzhan Baisalov & Bruno Poizat - 1998 - Journal of Symbolic Logic 63 (2):570-578.
Paires De Structures O-Minimales.Yerzhan Baisalov & Bruno Poizat - 1998 - Journal of Symbolic Logic 63 (2):570-578.

Add more references