THE DEFINABLE (P, Q)-THEOREM FOR DISTAL THEORIES
Copyright policy ) Boxall, Gareth; Kestner, Charlotte;
THE DEFINABLE (P, Q)-THEOREM FOR DISTAL THEORIES
AbstractAnswering a special case of a question of Chernikov and Simon, we show that any non-dividing formula over a model M in a distal NIP theory is a member of a consistent definable family, definable over M.
South Africa
- University of Central Lancashire United Kingdom
- Stellenbosch University South Africa
NIP groups (Mathematics), G110, Theorems, distality, forking, 610, NIP, definable \((p,q)\), Mathematics - Logic, 004, 03C45, FOS: Mathematics, Morley sequence, Classification theory, stability, and related concepts in model theory, Logic (math.LO), Distal theories
NIP groups (Mathematics), G110, Theorems, distality, forking, 610, NIP, definable \((p,q)\), Mathematics - Logic, 004, 03C45, FOS: Mathematics, Morley sequence, Classification theory, stability, and related concepts in model theory, Logic (math.LO), Distal theories
selected citations These citations are derived from selected sources.This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).4 popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.Top 10% influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).Average impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network.Average
selected citations
Citations provided by BIP!
These citations are derived from selected sources.
This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically).
Citations provided by BIP!popularityPopularity provided by BIP!
This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network.
Popularity provided by BIP! 4
Top 10%
Average
Average
Green
bronze
Fields of Science