Elementary classes of finite VC-dimension

DOI10.1007/S00153-015-0424-0zbMATH Open1357.03074arXiv1412.5781OpenAlexW3099993743MaRDI QIDQ494638FDOQ494638

Authors: Domenico Zambella 

Publication date: 1 September 2015

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Abstract: Let U be a monster model and let D be a subset of U. Let (U,D) denote theexpansion of U with a new predicate for D. Write e(D) for the collection of all subsets C of U such that (U,C) is elementary equivalent to (U,D). We prove that if e(D) has finite VC-dimension then D is externally definable (i.e. it is the trace on U of a set definable in an elementary superstructure of U).

Full work available at URL: https://arxiv.org/abs/1412.5781

Recommendations

• Vapnik-Chervonenkis density in some theories without the independence property. II
• Vapnik-Chervonenkis density in some theories without the independence property. I
• A note on VC-dimension and measure of sets of reals
• Density and dimension
• On VC-density in VC-minimal theories

zbMATH Keywords

VC-dimensionexternally definable setsLascar invariance

Mathematics Subject Classification ID

Abstract model theory (03C95)

Cites Work

• Simple theories and hyperimaginaries
• A course in model theory
• Dependent first order theories, continued
• Externally definable sets and dependent pairs
• Title not available (Why is that?)
• Title not available (Why is that?)
• External definability and groups in NIP theories
• Paires de structures O-minimales
• A Guide to NIP Theories

Cited In (3)

• Orbits of subsets of the monster model and geometric theories
• AN EQUIVALENCE RESULT FOR VC CLASSES OF SETS
• Vopěnka's principle and compact logics

This page was built for publication: Elementary classes of finite VC-dimension

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q494638)