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.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
math.LO 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
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 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.