Definable one-dimensional topologies in O-minimal structures

Ya’acov Peterzil; Ayala Rosel

doi:https://doi.org/10.1007/s00153-019-00680-z

Definable one-dimensional topologies in O-minimal structures

Ya’acov Peterzil, Ayala Rosel

Department of Mathematics

University of Haifa

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

Abstract

We consider definable topological spaces of dimension one in o-minimal structures, and state several equivalent conditions for when such a topological space (X, τ) is definably homeomorphic to an affine definable space (namely, a definable subset of Mⁿ with the induced subspace topology). One of the main results says that it is sufficient for X to be regular and decompose into finitely many definably connected components.

Original language	American English
Article number	1-2
Pages (from-to)	103-125
Number of pages	23
Journal	Archive for Mathematical Logic
Volume	59
Issue number	1-2
DOIs	https://doi.org/10.1007/s00153-019-00680-z
State	Published - 1 Feb 2020

Keywords

Definable topology
One-dimensional topology
o-minimality

All Science Journal Classification (ASJC) codes

Philosophy
Logic

Access to Document

https://doi.org/10.1007/s00153-019-00680-z

Cite this

@article{35c440145aae4bee800f3bbf438b56a6,

title = "Definable one-dimensional topologies in O-minimal structures",

abstract = "We consider definable topological spaces of dimension one in o-minimal structures, and state several equivalent conditions for when such a topological space (X, τ) is definably homeomorphic to an affine definable space (namely, a definable subset of Mn with the induced subspace topology). One of the main results says that it is sufficient for X to be regular and decompose into finitely many definably connected components.",

keywords = "Definable topology, One-dimensional topology, o-minimality",

author = "Ya{\textquoteright}acov Peterzil and Ayala Rosel",

note = "DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",

year = "2020",

month = feb,

day = "1",

doi = "https://doi.org/10.1007/s00153-019-00680-z",

language = "American English",

volume = "59",

pages = "103--125",

journal = "Archive for Mathematical Logic",

issn = "0933-5846",

publisher = "Springer New York",

number = "1-2",

}

TY - JOUR

T1 - Definable one-dimensional topologies in O-minimal structures

AU - Peterzil, Ya’acov

AU - Rosel, Ayala

N1 - DBLP License: DBLP's bibliographic metadata records provided through http://dblp.org/ are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2020/2/1

Y1 - 2020/2/1

N2 - We consider definable topological spaces of dimension one in o-minimal structures, and state several equivalent conditions for when such a topological space (X, τ) is definably homeomorphic to an affine definable space (namely, a definable subset of Mn with the induced subspace topology). One of the main results says that it is sufficient for X to be regular and decompose into finitely many definably connected components.

AB - We consider definable topological spaces of dimension one in o-minimal structures, and state several equivalent conditions for when such a topological space (X, τ) is definably homeomorphic to an affine definable space (namely, a definable subset of Mn with the induced subspace topology). One of the main results says that it is sufficient for X to be regular and decompose into finitely many definably connected components.

KW - Definable topology

KW - One-dimensional topology

KW - o-minimality

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

U2 - https://doi.org/10.1007/s00153-019-00680-z

DO - https://doi.org/10.1007/s00153-019-00680-z

M3 - Article

SN - 0933-5846

VL - 59

SP - 103

EP - 125

JO - Archive for Mathematical Logic

JF - Archive for Mathematical Logic

IS - 1-2

M1 - 1-2

ER -

Definable one-dimensional topologies in O-minimal structures

Abstract

Keywords

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this