On definable Skolem functions in weakly o-minimal nonvaluational structures

DOI10.1017/JSL.2017.28MaRDI QIDQ4600465zbMATH OpenOpenAlexFDO

Authors Pantelis E. Eleftheriou, Assaf Hasson, Gil Keren

Publication date 11 January 2018

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

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

zbMATH Keywords

ordered groupsweak o-minimalitydefinable Skolem functionso-minimal traces

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64) Ordered groups (06F15) Quantifier elimination, model completeness, and related topics (03C10)

Abstract: We prove that all known examples of weakly o-minimal non-valuational structures have no definable Skolem functions. We show, however, that such structures eliminate imaginaries up to (definable families of) definable cuts. Along the way we give some new examples of weakly o-minimal non-valuational structures.

Recommendations

• Definable choice for a class of weakly o-minimal theories
• On the strong cell decomposition property for weakly o-minimal structures
• A \(p\)-minimal structure without definable Skolem functions
• Weakly o-minimal nonvaluational structures
• A note on definable Skolem functions

Cites work

• scientific article; zbMATH DE number 1187511 (Why is no real title available?)
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• A growth dichotomy for o-minimal expansions of ordered groups
• Definable choice for a class of weakly o-minimal theories
• Embedded o-minimal structures
• Model completeness results for expansions of the ordered field of real numbers by restricted Pfaffian functions and the exponential function
• Omitting types in -minimal theories
• On expansions of weakly o-minimal non-valuational structures by convex predicates
• On the strong cell decomposition property for weakly o-minimal structures
• Paires de structures O-minimales
• Real closed rings. II. Model theory
• Weakly o-minimal nonvaluational structures
• Weakly o-minimal structures and real closed fields

Cited in

(14)

• scientific article; zbMATH DE number 31268 (Why is no real title available?)
• scientific article; zbMATH DE number 1899824 (Why is no real title available?)
• Algebraic theories with definable Skolem functions
• On expansions of weakly o-minimal non-valuational structures by convex predicates
• A theory of pairs for non-valuational structures
• Some model theory of Th(N,·)$\operatorname{Th}(\mathbb {N},\cdot )$
• A note on definable Skolem functions
• Some definable properties of sets in non-valuational weakly o-minimal structures
• Definable choice for a class of weakly o-minimal theories
• A \(p\)-minimal structure without definable Skolem functions
• Externally definable quotients and NIP expansions of the real ordered additive group
• Strong cell decomposition property in o-minimal traces
• Pillay's conjecture for groups definable in weakly o‐minimal non‐valuational structures
• Small sets in dense pairs

This page was built for publication: On definable Skolem functions in weakly o-minimal nonvaluational structures

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