ON DEFINABLE SKOLEM FUNCTIONS IN WEAKLY O-MINIMAL NONVALUATIONAL STRUCTURES-Reference-Cited by-同舟云学术

ON DEFINABLE SKOLEM FUNCTIONS IN WEAKLY O-MINIMAL NONVALUATIONAL STRUCTURES

Published:2017-12 Issue:4 Volume:82 Page:1482-1495
ISSN:0022-4812
Container-title:The Journal of Symbolic Logic
language:en
Short-container-title:J. symb. log.

Author:

ELEFTHERIOU PANTELIS E.,HASSON ASSAF,KEREN GIL

Abstract

AbstractWe 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.

Publisher

Cambridge University Press (CUP)

Subject

Logic,Philosophy

Reference15 articles.

1. Real closed rings II. model theory

2. [1] Baisalov Y. and Poizat B. , Paires de structures o-minimales, this Journal, vol. 63 (1998), no. 2, pp. 570–578.

3. Weakly o-minimal structures and real closed fields

4. Definable choice for a class of weakly o-minimal theories

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Externally definable quotients and NIP expansions of the real ordered additive group;Transactions of the American Mathematical Society;2021-12-23

2. Pillay's conjecture for groups definable in weakly o‐minimal non‐valuational structures;Bulletin of the London Mathematical Society;2021-05-04

3. Strong cell decomposition property in o-minimal traces;Archive for Mathematical Logic;2020-06-29

4. Small sets in dense pairs;Israel Journal of Mathematics;2019-07-09

5. A THEORY OF PAIRS FOR NON-VALUATIONAL STRUCTURES;The Journal of Symbolic Logic;2019-01-25