Elementary classes of finite VC-dimension

DOI10.1007/S00153-015-0424-0MaRDI QIDQ494638zbMATH OpenOpenAlexFDO

Authors Domenico Zambella

Publication date 1 September 2015

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

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

zbMATH Keywords

VC-dimensionexternally definable setsLascar invariance

Mathematics Subject Classification ID

Abstract model theory (03C95)

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).

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

Cites work

• scientific article; zbMATH DE number 3933024 (Why is no real title available?)
• scientific article; zbMATH DE number 5262135 (Why is no real title available?)
• A Guide to NIP Theories
• A course in model theory
• Dependent first order theories, continued
• External definability and groups in NIP theories
• Externally definable sets and dependent pairs
• Paires de structures O-minimales
• Simple theories and hyperimaginaries

Cited in

(3)

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

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)