Linear o-minimal structures (Q1261903): Difference between revisions
From MaRDI portal
Set profile property. |
Set OpenAlex properties. |
||
(One intermediate revision by one other user not shown) | |||
Property / cites work | |||
Property / cites work: Definable Sets in Ordered Structures. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Zilber's conjecture for some o-minimal structures over the reals / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Constructing a group-interval in \(O\)-minimal structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On groups and fields definable in o-minimal structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Between groups and rings / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Definable Sets in Ordered Structures. I / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1007/bf02761295 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2066256748 / rank | |||
Normal rank |
Latest revision as of 09:20, 30 July 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Linear o-minimal structures |
scientific article |
Statements
Linear o-minimal structures (English)
0 references
7 September 1993
0 references
A fine structure theorem for certain \(O\)-minimal groups is given. These results can be considered as \(O\)-minimal analogues of various results on locally modular weakly minimal groups. The authors define the property ``CF'' (collapse of functions) which is a kind of 1-basedness, as follows. The \(O\)-minimal structure \((M,<,\dots)\) has the CF property if whenever \(\{f_ u: u\in U\}\) is a uniformly definable family of partial functions from \(M\) to \(M\), and \(a\in M\), then the family of germs of the \(f_ u\) at the point \(a\), has dimension at most 1. \(O\)-minimal structures of the form \((M,+,<,\dots)\) which have the CF property are studied, where \(+\) is either (i) a (continuous) commutative group operation, or a (ii) continuous local commutative group operation. It is first shown that all definable structure on \(M\) comes from definable partial endomorphisms. It is then shown that in case (i), \(M\) is the reduct of an ordered vector space over an ordered division ring, and that in case (ii), \(M\) is the reduct of an interval in such an ordered vector space.
0 references
fine structure theorem
0 references
\(O\)-minimal groups
0 references
\(O\)-minimal structure
0 references
ordered vector space
0 references