On definable Skolem functions in weakly o-minimal nonvaluational structures

, &
Journal of Symbolic Logic 82 (4):1482-1495 (2017)
  Copy   BIBTEX

Abstract

We prove that all known examples of weakly o-minimal nonvaluational structures have no definable Skolem functions. We show, however, that such structures eliminate imaginaries up to definable families of cuts. Along the way we give some new examples of weakly o-minimal nonvaluational structures.

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2017.28

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,752

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Weakly o-minimal nonvaluational structures.Roman Wencel - 2008 - Annals of Pure and Applied Logic 154 (3):139-162.
Topological properties of sets definable in weakly o-minimal structures.Roman Wencel - 2010 - Journal of Symbolic Logic 75 (3):841-867.
Filling certain cuts in discrete weakly o-minimal structures.Stefano Leonesi & Carlo Toffalori - 2005 - Mathematical Logic Quarterly 51 (2):145.
A Note on Weakly O-Minimal Structures and Definable Completeness.Alfred Dolich - 2007 - Notre Dame Journal of Formal Logic 48 (2):281-292.
On the Boolean algebras of definable sets in weakly o‐minimal theories.Stefano Leonesi & Carlo Toffalori - 2004 - Mathematical Logic Quarterly 50 (3):241-248.
Pseudo definably connected definable sets.Jafar S. Eivazloo & Somayyeh Tari - 2016 - Mathematical Logic Quarterly 62 (3):241-248.
Definable group extensions in semi‐bounded o‐minimal structures.Mário J. Edmundo & Pantelis E. Eleftheriou - 2009 - Mathematical Logic Quarterly 55 (6):598-604.
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.
Uniformization and Skolem Functions in the Class of Trees.Shmuel Lifsches & Saharon Shelah - 1998 - Journal of Symbolic Logic 63 (1):103-127.
Compact domination for groups definable in linear o-minimal structures.Pantelis E. Eleftheriou - 2009 - Archive for Mathematical Logic 48 (7):607-623.
Tame properties of sets and functions definable in weakly o-minimal structures.Jafar S. Eivazloo & Somayyeh Tari - 2014 - Archive for Mathematical Logic 53 (3-4):433-447.
Groups definable in linear o-minimal structures: the non-compact case.Pantelis E. Eleftheriou - 2010 - Journal of Symbolic Logic 75 (1):208-220.
The universal covering homomorphism in o‐minimal expansions of groups.Mário J. Edmundo & Pantelis E. Eleftheriou - 2007 - Mathematical Logic Quarterly 53 (6):571-582.
Weakly o-minimal structures and some of their properties.B. Sh Kulpeshov - 1998 - Journal of Symbolic Logic 63 (4):1511-1528.
Weakly O-Minimal Structures and Some of Their Properties.B. Kulpeshov - 1998 - Journal of Symbolic Logic 63 (4):1511-1528.

Analytics

Added to PP
2018-02-09

Downloads
3 (#1,708,708)

6 months
2 (#1,188,460)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Tame Topology over dp-Minimal Structures.Pierre Simon & Erik Walsberg - 2019 - Notre Dame Journal of Formal Logic 60 (1):61-76.
Strong cell decomposition property in o-minimal traces.Somayyeh Tari - 2020 - Archive for Mathematical Logic 60 (1):135-144.

Add more citations

References found in this work

Real closed rings II. model theory.Gregory Cherlin & Max A. Dickmann - 1983 - Annals of Pure and Applied Logic 25 (3):213-231.
Weakly o-minimal nonvaluational structures.Roman Wencel - 2008 - Annals of Pure and Applied Logic 154 (3):139-162.
Omitting types in o-minimal theories.David Marker - 1986 - Journal of Symbolic Logic 51 (1):63-74.

View all 6 references / Add more references