Definable choice for a class of weakly o-minimal theories

DOI10.1007/S00153-016-0490-YMaRDI QIDQ506966zbMATH OpenOpenAlexFDO

Authors Christopher S. Shaw, M. C. Laskowski

Publication date 2 February 2017

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

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

zbMATH Keywords

weakly o-minimaldefinable choiceo-minimal groupSkolem functions

Mathematics Subject Classification ID

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

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.

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

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?)
• T-convexity and tame extensions
• T-convexity and tame extensions II
• Algebraic theories with definable Skolem functions
• Definable Sets in Ordered Structures. I
• Definable Sets in Ordered Structures. II
• Definable Sets in Ordered Structures. III
• Omitting types in -minimal theories
• Paires de structures O-minimales
• Real closed rings, I. Residue rings of rings of continuous functions
• Weakly o-minimal nonvaluational structures
• Weakly o-minimal structures and real closed fields

Cited in

(6)

• On definable Skolem functions in weakly o-minimal nonvaluational structures
• 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
• scientific article; zbMATH DE number 5148399 (Why is no real title available?)
• Strong cell decomposition property in o-minimal traces

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)