On definable Skolem functions in weakly o-minimal nonvaluational structures

DOI10.1017/JSL.2017.28zbMATH Open1385.03041arXiv1508.05492OpenAlexW2963149256MaRDI QIDQ4600465FDOQ4600465

Authors: Pantelis E. Eleftheriou, Assaf Hasson, Gil Keren 

Publication date: 11 January 2018

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

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.

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

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

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)

Cites Work

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

Cited In (14)

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

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)