O-minimal fields with standard part map
From MaRDI portal
Abstract: Let R be an o-minimal field and V a proper convex subring with residue field k and standard part (residue) map st: V o k. Let k_{ind} be the expansion of k by the standard parts of the definable relations in R. We investigate the definable sets in k_{ind} and conditions on (R,V) which imply o-minimality of k_{ind}. We also show that if R is omega-saturated and V is the convex hull of the rationals in R, then the sets definable in k_{ind} are exactly the standard parts of the sets definable in (R,V).
Recommendations
- Triangulation in o-minimal fields with standard part map
- O-minimal residue fields of o-minimal fields
- The structure on the real field generated by the standard part map on an o-minimal expansion of a real closed field
- o-minimal structures on the field of real numbers
- scientific article; zbMATH DE number 2220979
- Minimal Ockham algebras
- Basics of o-minimality and Hardy fields
- An o-minimal characterization of special subvarieties
- Generalized o-minimality for partial orders
- Weakly o-minimal structures and real closed fields
Cited in
(6)- Topological groups, \(\mu\)-types and their stabilizers
- Triangulation in o-minimal fields with standard part map
- Model completeness of o-minimal fields with convex valuations
- O-minimal residue fields of o-minimal fields
- The structure on the real field generated by the standard part map on an o-minimal expansion of a real closed field
- Measuring definable sets in o-minimal fields
This page was built for publication: O-minimal fields with standard part map
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3080010)
