A THEORY of PAIRS for NON-VALUATIONAL STRUCTURES

Elitzur Bar-Yehuda; Assaf Hasson; Ya'Acov Peterzil

doi:10.1017/jsl.2018.85

A THEORY of PAIRS for NON-VALUATIONAL STRUCTURES

Elitzur Bar-Yehuda, Assaf Hasson, Ya'Acov Peterzil

Department of Mathematics

Research output: Contribution to journal › Article › peer-review

Abstract

Given a weakly o-minimal structure and its o-minimal completion , we first associate to a canonical language and then prove that Th determines. We then investigate the theory of the pair in the spirit of the theory of dense pairs of o-minimal structures, and prove, among other results, that it is near model complete, and every definable open subset of is already definable in. We give an example of a weakly o-minimal structure interpreting and show that it is not elementarily equivalent to any reduct of an o-minimal trace.

Original language	English
Pages (from-to)	664-683
Number of pages	20
Journal	Journal of Symbolic Logic
Volume	84
Issue number	2
DOIs	https://doi.org/10.1017/jsl.2018.85
State	Published - 1 Jun 2019

Bibliographical note

Publisher Copyright:
Copyright © The Association for Symbolic Logic 2019.

Keywords

dense pairs
non-valuational
o-minimal traces
weakly o-minimal structures

ASJC Scopus subject areas

Philosophy
Logic

Access to Document

10.1017/jsl.2018.85

Cite this

@article{f333c1267e4b420aa4d1b04f32180b6a,

title = "A THEORY of PAIRS for NON-VALUATIONAL STRUCTURES",

abstract = "Given a weakly o-minimal structure and its o-minimal completion , we first associate to a canonical language and then prove that Th determines. We then investigate the theory of the pair in the spirit of the theory of dense pairs of o-minimal structures, and prove, among other results, that it is near model complete, and every definable open subset of is already definable in. We give an example of a weakly o-minimal structure interpreting and show that it is not elementarily equivalent to any reduct of an o-minimal trace.",

keywords = "dense pairs, non-valuational, o-minimal traces, weakly o-minimal structures",

author = "Elitzur Bar-Yehuda and Assaf Hasson and Ya'Acov Peterzil",

note = "Publisher Copyright: Copyright {\textcopyright} The Association for Symbolic Logic 2019.",

year = "2019",

month = jun,

day = "1",

doi = "10.1017/jsl.2018.85",

language = "English",

volume = "84",

pages = "664--683",

journal = "Journal of Symbolic Logic",

issn = "0022-4812",

publisher = "Cambridge University Press",

number = "2",

}

TY - JOUR

T1 - A THEORY of PAIRS for NON-VALUATIONAL STRUCTURES

AU - Bar-Yehuda, Elitzur

AU - Hasson, Assaf

AU - Peterzil, Ya'Acov

PY - 2019/6/1

Y1 - 2019/6/1

N2 - Given a weakly o-minimal structure and its o-minimal completion , we first associate to a canonical language and then prove that Th determines. We then investigate the theory of the pair in the spirit of the theory of dense pairs of o-minimal structures, and prove, among other results, that it is near model complete, and every definable open subset of is already definable in. We give an example of a weakly o-minimal structure interpreting and show that it is not elementarily equivalent to any reduct of an o-minimal trace.

AB - Given a weakly o-minimal structure and its o-minimal completion , we first associate to a canonical language and then prove that Th determines. We then investigate the theory of the pair in the spirit of the theory of dense pairs of o-minimal structures, and prove, among other results, that it is near model complete, and every definable open subset of is already definable in. We give an example of a weakly o-minimal structure interpreting and show that it is not elementarily equivalent to any reduct of an o-minimal trace.

KW - dense pairs

KW - non-valuational

KW - o-minimal traces

KW - weakly o-minimal structures

UR - http://www.scopus.com/inward/record.url?scp=85067116666&partnerID=8YFLogxK

U2 - 10.1017/jsl.2018.85

DO - 10.1017/jsl.2018.85

M3 - Article

AN - SCOPUS:85067116666

SN - 0022-4812

VL - 84

SP - 664

EP - 683

JO - Journal of Symbolic Logic

JF - Journal of Symbolic Logic

IS - 2

ER -

A THEORY of PAIRS for NON-VALUATIONAL STRUCTURES

Abstract

Bibliographical note

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this