Definable choice for a class of weakly o-minimal theories

DOI10.1007/S00153-016-0490-YzbMATH Open1364.03052arXiv1505.02147OpenAlexW2247023843MaRDI QIDQ506966FDOQ506966

Authors: Christopher S. Shaw, M. C. Laskowski 

Publication date: 2 February 2017

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Abstract: Given an o-minimal structure $mathcalM$ with a group operation, we show that for a properly convex subset $U$, the theory of the expanded structure $mathcalM\text{'}=(mathcalM,U)$ has definable Skolem functions precisely when $mathcalM\text{'}$ is valuational. As a corollary, we get an elementary proof that the theory of any such $mathcalM\text{'}$ does not satisfy definable choice.

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

Recommendations

• On definable Skolem functions in weakly o-minimal nonvaluational structures
• Quantifier elimination for o-minimal structures expanded by a valuational cut
• On groups and fields definable in o-minimal structures
• Strong cell decomposition property in o-minimal traces
• Some definable properties of sets in non-valuational weakly o-minimal structures

zbMATH Keywords

weakly o-minimaldefinable choiceo-minimal groupSkolem functions

Mathematics Subject Classification ID

Model theory of ordered structures; o-minimality (03C64)

Cites Work

• Title not available (Why is that?)
• Definable Sets in Ordered Structures. III
• Definable Sets in Ordered Structures. I
• Definable Sets in Ordered Structures. II
• Title not available (Why is that?)
• Weakly o-minimal structures and real closed fields
• Weakly o-minimal nonvaluational structures
• Algebraic theories with definable Skolem functions
• T-convexity and tame extensions
• Paires de structures O-minimales
• Omitting types in -minimal theories
• Real closed rings, I. Residue rings of rings of continuous functions
• T-convexity and tame extensions II

Cited In (6)

• Quantifier elimination for o-minimal structures expanded by a valuational cut
• THE WEAK VOPĚNKA PRINCIPLE FOR DEFINABLE CLASSES OF STRUCTURES
• The choice property in tame expansions of o‐minimal structures
• Title not available (Why is that?)
• Strong cell decomposition property in o-minimal traces
• On definable Skolem functions in weakly o-minimal nonvaluational structures

This page was built for publication: Definable choice for a class of weakly o-minimal theories

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