Archive for Mathematical Logic 55 (5-6):735-748 (2016)

Given an o-minimal structure M\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal M}$$\end{document} with a group operation, we show that for a properly convex subset U, the theory of the expanded structure M′=\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal M}'=$$\end{document} has definable Skolem functions precisely when M′\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal M}'$$\end{document} is valuational. As a corollary, we get an elementary proof that the theory of any such M′\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathcal M}'$$\end{document} does not satisfy definable choice.
Keywords No keywords specified (fix it)
Categories No categories specified
(categorize this paper)
DOI 10.1007/s00153-016-0490-y
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 50,391
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Weakly o-Minimal Nonvaluational Structures.Roman Wencel - 2008 - Annals of Pure and Applied Logic 154 (3):139-162.
T-Convexity and Tame Extensions II.Lou Van Den Dries - 1997 - Journal of Symbolic Logic 62 (1):14-34.
T-Convexity and Tame Extensions.Dries Lou Van Den & H. Lewenberg Adam - 1995 - Journal of Symbolic Logic 60 (1):74 - 102.
Paires de Structures o-Minimales.Yerzhan Baisalov & Bruno Poizat - 1998 - Journal of Symbolic Logic 63 (2):570-578.
Algebraic Theories with Definable Skolem Functions.Lou van den Dries - 1984 - Journal of Symbolic Logic 49 (2):625-629.

View all 10 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Weakly o-Minimal Nonvaluational Structures.Roman Wencel - 2008 - Annals of Pure and Applied Logic 154 (3):139-162.
A Note on Stable Sets, Groups, and Theories with NIP.Alf Onshuus & Ya'acov Peterzil - 2007 - Mathematical Logic Quarterly 53 (3):295-300.
A Note on Weakly O-Minimal Structures and Definable Completeness.Alfred Dolich - 2007 - Notre Dame Journal of Formal Logic 48 (2):281-292.
The Classification of Small Weakly Minimal Sets. II.Steven Buechler - 1988 - Journal of Symbolic Logic 53 (2):625-635.
Dp-Minimality: Basic Facts and Examples.Alfred Dolich, John Goodrick & David Lippel - 2011 - Notre Dame Journal of Formal Logic 52 (3):267-288.
Weakly One-Based Geometric Theories.Alexander Berenstein & Evgueni Vassiliev - 2012 - Journal of Symbolic Logic 77 (2):392-422.
SCE-Cell Decomposition and OCP in Weakly O-Minimal Structures.Jafar S. Eivazloo & Somayyeh Tari - 2016 - Notre Dame Journal of Formal Logic 57 (3):399-410.


Added to PP index

Total views
2 ( #1,328,163 of 2,326,132 )

Recent downloads (6 months)
2 ( #435,731 of 2,326,132 )

How can I increase my downloads?


Sorry, there are not enough data points to plot this chart.

My notes