Definable choice for a class of weakly o-minimal theories

DOI10.1007/S00153-016-0490-YzbMath1364.03052arXiv1505.02147OpenAlexW2247023843MaRDI QIDQ506966

Christopher S. Shaw, Michael Chris 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

Skolem functionsweakly o-minimaldefinable choiceo-minimal group

Mathematics Subject Classification ID

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

Related Items (2)

ON DEFINABLE SKOLEM FUNCTIONS IN WEAKLY O-MINIMAL NONVALUATIONAL STRUCTURES ⋮ Quantifier elimination for o-minimal structures expanded by a valuational cut

Cites Work

• Unnamed Item
• Unnamed Item
• Weakly o-minimal nonvaluational structures
• Definable Sets in Ordered Structures. III
• Omitting types in -minimal theories
• Algebraic theories with definable Skolem functions
• Real closed rings, I. Residue rings of rings of continuous functions
• Definable Sets in Ordered Structures. I
• Definable Sets in Ordered Structures. II
• Paires de structures O-minimales
• T-convexity and tame extensions II
• Weakly o-minimal structures and real closed fields
• T-convexity and tame extensions

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