Definable one-dimensional topologies in O-minimal structures

Ya’acov Peterzil; Ayala Rosel

doi:10.1007/s00153-019-00680-z

Definable one-dimensional topologies in O-minimal structures

Ya’acov Peterzil, Ayala Rosel

Department of Mathematics

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	English
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

Bibliographical note

Publisher Copyright:
© 2019, Springer-Verlag GmbH Germany, part of Springer Nature.

Keywords

Definable topology
One-dimensional topology
o-minimality

ASJC Scopus subject areas

Philosophy
Logic

Access to Document

10.1007/s00153-019-00680-z

Cite this

@article{c55694640bda445e825d9ab29af3e4be,

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 = "Publisher Copyright: {\textcopyright} 2019, Springer-Verlag GmbH Germany, part of Springer Nature.",

year = "2020",

month = feb,

day = "1",

doi = "10.1007/s00153-019-00680-z",

language = "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

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 - 10.1007/s00153-019-00680-z

DO - 10.1007/s00153-019-00680-z

M3 - Article

AN - SCOPUS:85066612063

SN - 0933-5846

VL - 59

SP - 103

EP - 125

JO - Archive for Mathematical Logic

JF - Archive for Mathematical Logic

IS - 1-2

ER -

Definable one-dimensional topologies in O-minimal structures

Abstract

Bibliographical note

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this