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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 103,108

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.
Filling certain cuts in discrete weakly o-minimal structures.Stefano Leonesi & Carlo Toffalori - 2005 - Mathematical Logic Quarterly 51 (2):145.
Strong cell decomposition property in o-minimal traces.Somayyeh Tari - 2020 - Archive for Mathematical Logic 60 (1):135-144.
A Note on Weakly O-Minimal Structures and Definable Completeness.Alfred Dolich - 2007 - Notre Dame Journal of Formal Logic 48 (2):281-292.
Pseudo definably connected definable sets.Jafar S. Eivazloo & Somayyeh Tari - 2016 - Mathematical Logic Quarterly 62 (3):241-248.
Fundamental group in o-minimal structures with definable Skolem functions.Bruno Dinis, Mário J. Edmundo & Marcello Mamino - 2021 - Annals of Pure and Applied Logic 172 (8):102975.
Tame Topology over dp-Minimal Structures.Pierre Simon & Erik Walsberg - 2019 - Notre Dame Journal of Formal Logic 60 (1):61-76.
A theory of pairs for non-valuational structures.Elitzur Bar-Yehuda, Assaf Hasson & Ya’Acov Peterzil - 2019 - Journal of Symbolic Logic 84 (2):664-683.
Pathological examples of structures with o‐minimal open core.Alexi Block Gorman, Erin Caulfield & Philipp Hieronymi - 2021 - Mathematical Logic Quarterly 67 (3):382-393.
On the Boolean algebras of definable sets in weakly o‐minimal theories.Stefano Leonesi & Carlo Toffalori - 2004 - Mathematical Logic Quarterly 50 (3):241-248.

Analytics

Added to PP
2018-02-09

Downloads
17 (#1,193,434)

6 months
7 (#467,986)

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.

Add more references