Constructing a group-interval in o-minimal structures

Ya'acov Peterzil

doi:10.1016/0022-4049(94)90007-8

Constructing a group-interval in o-minimal structures

Ya'acov Peterzil

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

Abstract

Let T be a complete o-minimal theory. Roughly said, T has the CF property if every definable family of functions is, locally, a one-dimensional family. We show that if T has the CF property and it is nontrivial then an interval of an ordered abelian group is definable in every model of T. Along the way we develop a general notion of dimension for definable quotients in o-minimal structures.

Original language	English
Pages (from-to)	85-100
Number of pages	16
Journal	Journal of Pure and Applied Algebra
Volume	94
Issue number	1
DOIs	https://doi.org/10.1016/0022-4049(94)90007-8
State	Published - 3 Jun 1994
Externally published	Yes

Bibliographical note

Funding Information:
* This paper was written with the support of NSERC. The author thanks J. Loveys for his assistance. Current address: Department of Mathematics, Haifa University, Haifa, Israel.

ASJC Scopus subject areas

Algebra and Number Theory

Access to Document

10.1016/0022-4049(94)90007-8

Cite this

@article{6947076d54884485acb56ef4a15086a6,

title = "Constructing a group-interval in o-minimal structures",

abstract = "Let T be a complete o-minimal theory. Roughly said, T has the CF property if every definable family of functions is, locally, a one-dimensional family. We show that if T has the CF property and it is nontrivial then an interval of an ordered abelian group is definable in every model of T. Along the way we develop a general notion of dimension for definable quotients in o-minimal structures.",

author = "Ya'acov Peterzil",

note = "Funding Information: * This paper was written with the support of NSERC. The author thanks J. Loveys for his assistance. Current address: Department of Mathematics, Haifa University, Haifa, Israel.",

year = "1994",

month = jun,

day = "3",

doi = "10.1016/0022-4049(94)90007-8",

language = "English",

volume = "94",

pages = "85--100",

journal = "Journal of Pure and Applied Algebra",

issn = "0022-4049",

publisher = "Elsevier",

number = "1",

}

TY - JOUR

T1 - Constructing a group-interval in o-minimal structures

AU - Peterzil, Ya'acov

N1 - Funding Information: * This paper was written with the support of NSERC. The author thanks J. Loveys for his assistance. Current address: Department of Mathematics, Haifa University, Haifa, Israel.

PY - 1994/6/3

Y1 - 1994/6/3

N2 - Let T be a complete o-minimal theory. Roughly said, T has the CF property if every definable family of functions is, locally, a one-dimensional family. We show that if T has the CF property and it is nontrivial then an interval of an ordered abelian group is definable in every model of T. Along the way we develop a general notion of dimension for definable quotients in o-minimal structures.

AB - Let T be a complete o-minimal theory. Roughly said, T has the CF property if every definable family of functions is, locally, a one-dimensional family. We show that if T has the CF property and it is nontrivial then an interval of an ordered abelian group is definable in every model of T. Along the way we develop a general notion of dimension for definable quotients in o-minimal structures.

UR - https://www.scopus.com/pages/publications/0005437737

U2 - 10.1016/0022-4049(94)90007-8

DO - 10.1016/0022-4049(94)90007-8

M3 - Article

AN - SCOPUS:0005437737

SN - 0022-4049

VL - 94

SP - 85

EP - 100

JO - Journal of Pure and Applied Algebra

JF - Journal of Pure and Applied Algebra

IS - 1

ER -

Constructing a group-interval in o-minimal structures

Abstract

Bibliographical note

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this