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 2
citation-polarity summary
fields
math.LO 2verdicts
UNVERDICTED 2roles
background 2polarities
background 2representative citing papers
Introduces trace definability for first-order structures and establishes preservation and characterization results for classification-theoretic properties under it.
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
Introduces trace definability for first-order structures and establishes preservation and characterization results for classification-theoretic properties under it.