Definable completeness of P-minimal fields and applications

DOI10.1142/S0219061322500040MaRDI QIDQ5094529zbMATH OpenFDO

Authors Pablo Cubides Kovacsics, Françoise Delon

Publication date 3 August 2022

Published in Journal of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2007.07521

zbMATH Keywords

cell decompositiondefinable completeness\(P\)-minimalitycell preparationextreme value property

Mathematics Subject Classification ID

Properties of classes of models (03C52) Model theory of fields (12L12) Model theory (number-theoretic aspects) (11U09) Formally (p)-adic fields (12J12)

Recommendations

• Cell decomposition and classification of definable sets in \(p\)-optimal fields
• A \(p\)-minimal structure without definable Skolem functions
• A version of o-minimality for the p-adics
• Cell decomposition forP-minimal fields
• Interpretable fields in various valued fields

Cites work

• A \(p\)-minimal structure without definable Skolem functions
• A version of \(p\)-adic minimality
• Analytic $p$-adic cell decomposition and integrals
• Cell decomposition and classification of definable sets in \(p\)-optimal fields
• Cell decomposition forP-minimal fields
• Clustered cell decomposition in \(P\)-minimal structures
• Definable functions in tame expansions of algebraically closed valued fields
• Expansions of dense linear orders with the intermediate value property
• Exponential-constructible functions in \(P\)-minimal structures
• Exponentiation is Hard to Avoid
• Integration and cell decomposition in \(P\)-minimal structures
• Presburger sets and p-minimal fields
• \(C\)-minimal fields, in honor of François Lucas
• p-adic semi-algebraic sets and cell decomposition.

Cited in

(6)

• Strongly minimal expansions of (ℂ, +) definable in o-minimal fields
• Interpretable fields in various valued fields
• A \(p\)-minimal structure without definable Skolem functions
• Cell decomposition and classification of definable sets in \(p\)-optimal fields
• Definable completeness of $P$-minimal fields and applications
• Clustered cell decomposition in \(P\)-minimal structures

This page was built for publication: Definable completeness of \(P\)-minimal fields and applications

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5094529)