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
citation-role summary
background 1
method 1
citation-polarity summary
fields
math.LO 2representative citing papers
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 I: preservation and characterizations