Linear o-minimal structures (Q1261903): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
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
    0 references
    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
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references