ON FORKING AND DEFINABILITY OF TYPES IN SOME DP-MINIMAL THEORIES

DOI10.1017/jsl.2014.45zbMath1353.03037arXiv1407.0222OpenAlexW2963904819MaRDI QIDQ5177873

Pierre Simon, Sergei Starchenko

Publication date: 6 March 2015

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

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

zbMATH Keywords

NIPdefinable typesdp-minimality

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Interpolation, preservation, definability (03C40) Model theory of ordered structures; o-minimality (03C64)

Related Items (5)

A definable \((p,q)\)-theorem for NIP theories ⋮ Imaginaries, invariant types and pseudo \(p\)-adically closed fields ⋮ THE DEFINABLE (P, Q)-THEOREM FOR DISTAL THEORIES ⋮ Definable groups in models of Presburger arithmetic ⋮ STRONG DENSITY OF DEFINABLE TYPES AND CLOSED ORDERED DIFFERENTIAL FIELDS

This page was built for publication: ON FORKING AND DEFINABILITY OF TYPES IN SOME DP-MINIMAL THEORIES