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

definable Skolem functionso-minimal tracesordered groupsweak o-minimality

Mathematics Subject Classification ID

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

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

• A growth dichotomy for o-minimal expansions of ordered groups
• Definable choice for a class of weakly o-minimal theories
• Embedded o-minimal structures
• scientific article; zbMATH DE number 1187511 (Why is no real title available?)
• scientific article; zbMATH DE number 1160037 (Why is no real title available?)
• 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)

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

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)