Defines k-trace definability and proves that theories k-trace definable in NIP theories are k-NIP, with universality constructions for main examples like Hilbert space and generic hypergraphs.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
citation-role summary
method 1
citation-polarity summary
fields
math.LO 2years
2026 2verdicts
UNVERDICTED 2roles
method 1polarities
use method 1representative citing papers
A weakly o-minimal structure without infinite groups has a Shelah completion that interprets an infinite field, with a new local trace definability notion and a linearity-field dichotomy for certain ordered groups.
citing papers explorer
-
Trace definability IV: higher arity notions
Defines k-trace definability and proves that theories k-trace definable in NIP theories are k-NIP, with universality constructions for main examples like Hilbert space and generic hypergraphs.
-
Trace definability II: model-theoretic linearity
A weakly o-minimal structure without infinite groups has a Shelah completion that interprets an infinite field, with a new local trace definability notion and a linearity-field dichotomy for certain ordered groups.