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
3 Pith papers cite this work. Polarity classification is still indexing.
3
Pith papers citing it
citation-role summary
background 1
extension 1
citation-polarity summary
fields
math.LO 3years
2026 3verdicts
UNVERDICTED 3representative 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.
For a number of theories T* of model-theoretic interest there exists a simpler theory T and infinite cardinal κ such that T* is trace equivalent to the theory of κ-dimensional space over a model of T.
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.
-
Trace definability III: Infinite dimensional space over a model of $T$
For a number of theories T* of model-theoretic interest there exists a simpler theory T and infinite cardinal κ such that T* is trace equivalent to the theory of κ-dimensional space over a model of T.