DEFINABLE AND INVARIANT TYPES IN ENRICHMENTS OF NIP THEORIES

DOI10.1017/jsl.2016.35zbMath1383.03044arXiv1507.06863OpenAlexW2964218573MaRDI QIDQ5738205

Pierre Simon, Silvain Rideau

Publication date: 1 June 2017

Published in: The Journal of Symbolic Logic (Search for Journal in Brave)

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

zbMATH Keywords

definable typesreductNIP theoriesinvariant typesvalued fields with a contractive derivation

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Classification theory, stability, and related concepts in model theory (03C45) Model theory of fields (12L12) Valued fields (12J10)

Related Items (4)

A short note on groups in separably closed valued fields ⋮ Weakly binary expansions of dense meet‐trees ⋮ Imaginaries and invariant types in existentially closed valued differential fields ⋮ STRONG DENSITY OF DEFINABLE TYPES AND CLOSED ORDERED DIFFERENTIAL FIELDS

Cites Work

• On NIP and invariant measures
• Bounded VC-dimension implies a fractional Helly theorem
• A model complete theory of valued D-fields
• Definable sets in algebraically closed valued fields: elimination of imaginaries
• A Guide to NIP Theories
• Invariant types in NIP theories

This page was built for publication: DEFINABLE AND INVARIANT TYPES IN ENRICHMENTS OF NIP THEORIES