Ordered fields dense in their real closure and definable convex valuations
DOI10.1515/forum-2020-0030OpenAlexW3164046903MaRDI QIDQ2121257
Gabriel Lehéricy, Salma Kuhlmann, Lothar Sebastian Krapp
Publication date: 4 April 2022
Published in: Forum Mathematicum (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2010.11832
convex subgroupsalmost real closed fieldsHahn groups and fieldshenselian valuationsnormal integer partsregular densely ordered abelian groupsstrongly NIP ordered fields
Ordered abelian groups, Riesz groups, ordered linear spaces (06F20) Model theory of ordered structures; o-minimality (03C64) Ordered fields (12J15) Valued fields (12J10)
Related Items (3)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Strongly dependent theories
- Ordered exponential fields
- Definable valuations induced by multiplicative subgroups and NIP fields
- Strongly dependent ordered abelian groups and Henselian fields
- An isomorphism theorem for real-closed fields
- DEFINABLE HENSELIAN VALUATION RINGS
- Some model theory for almost real closed fields
- Every real closed field has an integer part
- Elementary Properties of Ordered Abelian Groups
- Regularly Ordered Groups
- Ordered fields and sign-changing polynomials.
- A transfer theorem for Henselian valued and ordered fields
- The canonical topology on dp-minimal fields
- Recent progress on definability of Henselian valuations
- DEFINABLE HENSELIAN VALUATIONS
- A Guide to NIP Theories
- Defining Coarsenings of Valuations
- Definable non-divisible Henselian valuations
- Cauchyfolgen Höheren Typus in Angeordneten Körpern
- Valued Fields
- Generalized Archimedean Groups
- DP-MINIMAL VALUED FIELDS
- Definability and decision problems in arithmetic
This page was built for publication: Ordered fields dense in their real closure and definable convex valuations