Canonical forests in directed families

DOI10.1090/S0002-9939-2014-11935-6zbMath1327.03029arXiv1111.2843MaRDI QIDQ5418504

Joseph Flenner, Vincent Guingona

Publication date: 4 June 2014

Published in: Proceedings of the American Mathematical Society (Search for Journal in Brave)

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

zbMATH Keywords

VC-minimality; elimination of imaginaries; directed family of sets; swiss cheese decomposition

Mathematics Subject Classification ID

03C60: Model-theoretic algebra

03C45: Classification theory, stability, and related concepts in model theory

03C64: Model theory of ordered structures; o-minimality

03C10: Quantifier elimination, model completeness, and related topics

Related Items

On VC-minimal fields and dp-smallness, Grothendieck rings of theories of modules, On VC-density in VC-minimal theories, A local characterization of VC-minimality

Cites Work

• On VC-minimal fields and dp-smallness
• A course in model theory. An introduction to contemporary mathematical logic. Transl. from the French by Moses Klein
• CONVEXLY ORDERABLE GROUPS AND VALUED FIELDS
• Definable sets in algebraically closed valued fields: elimination of imaginaries
• A GEOMETRIC INTRODUCTION TO FORKING AND THORN-FORKING
• Prototypes for definable subsets of algebraically closed valued fields
• Canonical forms for definable subsets of algebraically closed and real closed valued fields
• Forking in VC-minimal theories