- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Elementary classes of finite VC-dimension
Archive for Mathematical Logic 54 (5-6):511-520 (2015)
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.Other Versions
No versions found
Links
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
A weird relation between two cardinals.Lorenz Halbeisen - 2018 - Archive for Mathematical Logic 57 (5-6):593-599.
A model-theoretic characterisation of clique width.Achim Blumensath - 2006 - Annals of Pure and Applied Logic 142 (1):321-350.
Definable -Theorem for Families with Vc-Codensity Less Than.Pablo Andújar Guerrero - forthcoming - Journal of Symbolic Logic:1-10.
The cofinality of the saturated uncountable random graph.Steve Warner - 2004 - Archive for Mathematical Logic 43 (5):665-679.
Nondefinability results with entire functions of finite order in polynomially bounded o-minimal structures.Hassan Sfouli - 2024 - Archive for Mathematical Logic 63 (3):491-498.
Automorphism invariant measures and weakly generic automorphisms.Gábor Sági - 2022 - Mathematical Logic Quarterly 68 (4):458-478.
On Complete Representations and Minimal Completions in Algebraic Logic, Both Positive and Negative Results.Tarek Sayed Ahmed - 2021 - Bulletin of the Section of Logic 50 (4):465-511.
A note on standard systems and ultrafilters.Fredrik Engström - 2008 - Journal of Symbolic Logic 73 (3):824-830.
Expansions of Presburger arithmetic with the exchange property.Nathanaël Mariaule - 2021 - Mathematical Logic Quarterly 67 (4):409-419.
Abelian‐by‐G Groups, for G Finite, from the Model Theoretic Point of View.Annalisa Marcja & Carlo Toffalori - 1994 - Mathematical Logic Quarterly 40 (1):125-131.
Analytics
Added to PP
2015-03-20
Downloads
32 (#562,416)
6 months
22 (#163,549)
2015-03-20
Downloads
32 (#562,416)
6 months
22 (#163,549)
Historical graph of downloads
Citations of this work
Orbits of subsets of the monster model and geometric theories.Enrique Casanovas & Luis Jaime Corredor - 2017 - Annals of Pure and Applied Logic 168 (12):2152-2163.
References found in this work
Paires de structures o-minimales.Yerzhan Baisalov & Bruno Poizat - 1998 - Journal of Symbolic Logic 63 (2):570-578.
Simple theories and hyperimaginaries. Lecture Notes in Logic, vol. 39.Enrique Casanovas - 2012 - Bulletin of Symbolic Logic 18 (3):405-406.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-6b65f85844-pflvk uwo