Locally modular theories of finite rank (Q581394): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
Changed an Item
Property / review text
 
In this paper, the author generalizes some of the good properties of \(\aleph_ 0\)-stable \(\aleph_ 0\)-categorical theories, mainly the Coordinatization Theorem and the Fundamental Rank Identity Theorem [\textit{G. Cherlin}, \textit{L. Harrington} and \textit{A. H. Lachlan}, Ann. Pure Appl. Logic 28, 103-135 (1985; Zbl 0566.03022)] to a larger class of theories: the superstable theories of finite rank such that (in \(T^{eq})\) every type of U rank 1 is locally modular (the L.M.F.R. theories). The main example of such non \(\aleph_ 1\)-stable theories are the superstable non \(\aleph_ 1\)-categorical unidimensional theories. It is also shown that, under the assumption of finite rank, the L.M.F.R. theories are exactly the one-based (or weakly normal) theories. Recent related work: \textit{A. Pillay} [in ``Simple superstable theories'' (to appear in the Proceedings of the US-Israel joint meeting in Model Theory, Chicago Dec. 1985, North-Holland)] studies a generalization of these theories in the infinite rank context.
Property / review text: In this paper, the author generalizes some of the good properties of \(\aleph_ 0\)-stable \(\aleph_ 0\)-categorical theories, mainly the Coordinatization Theorem and the Fundamental Rank Identity Theorem [\textit{G. Cherlin}, \textit{L. Harrington} and \textit{A. H. Lachlan}, Ann. Pure Appl. Logic 28, 103-135 (1985; Zbl 0566.03022)] to a larger class of theories: the superstable theories of finite rank such that (in \(T^{eq})\) every type of U rank 1 is locally modular (the L.M.F.R. theories). The main example of such non \(\aleph_ 1\)-stable theories are the superstable non \(\aleph_ 1\)-categorical unidimensional theories. It is also shown that, under the assumption of finite rank, the L.M.F.R. theories are exactly the one-based (or weakly normal) theories. Recent related work: \textit{A. Pillay} [in ``Simple superstable theories'' (to appear in the Proceedings of the US-Israel joint meeting in Model Theory, Chicago Dec. 1985, North-Holland)] studies a generalization of these theories in the infinite rank context. / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 03C45 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 4019032 / rank
 
Normal rank
Property / zbMATH Keywords
 
canonical type
Property / zbMATH Keywords: canonical type / rank
 
Normal rank
Property / zbMATH Keywords
 
thrifty type
Property / zbMATH Keywords: thrifty type / rank
 
Normal rank
Property / zbMATH Keywords
 
one-based theories
Property / zbMATH Keywords: one-based theories / rank
 
Normal rank
Property / zbMATH Keywords
 
Coordinatization Theorem
Property / zbMATH Keywords: Coordinatization Theorem / rank
 
Normal rank
Property / zbMATH Keywords
 
Fundamental Rank Identity Theorem
Property / zbMATH Keywords: Fundamental Rank Identity Theorem / rank
 
Normal rank
Property / zbMATH Keywords
 
superstable theories
Property / zbMATH Keywords: superstable theories / rank
 
Normal rank
Property / zbMATH Keywords
 
finite rank
Property / zbMATH Keywords: finite rank / rank
 
Normal rank
Property / zbMATH Keywords
 
locally modular
Property / zbMATH Keywords: locally modular / rank
 
Normal rank

Revision as of 18:53, 1 July 2023

scientific article
Language Label Description Also known as
English
Locally modular theories of finite rank
scientific article

    Statements

    Locally modular theories of finite rank (English)
    0 references
    0 references
    1986
    0 references
    In this paper, the author generalizes some of the good properties of \(\aleph_ 0\)-stable \(\aleph_ 0\)-categorical theories, mainly the Coordinatization Theorem and the Fundamental Rank Identity Theorem [\textit{G. Cherlin}, \textit{L. Harrington} and \textit{A. H. Lachlan}, Ann. Pure Appl. Logic 28, 103-135 (1985; Zbl 0566.03022)] to a larger class of theories: the superstable theories of finite rank such that (in \(T^{eq})\) every type of U rank 1 is locally modular (the L.M.F.R. theories). The main example of such non \(\aleph_ 1\)-stable theories are the superstable non \(\aleph_ 1\)-categorical unidimensional theories. It is also shown that, under the assumption of finite rank, the L.M.F.R. theories are exactly the one-based (or weakly normal) theories. Recent related work: \textit{A. Pillay} [in ``Simple superstable theories'' (to appear in the Proceedings of the US-Israel joint meeting in Model Theory, Chicago Dec. 1985, North-Holland)] studies a generalization of these theories in the infinite rank context.
    0 references
    0 references
    canonical type
    0 references
    thrifty type
    0 references
    one-based theories
    0 references
    Coordinatization Theorem
    0 references
    Fundamental Rank Identity Theorem
    0 references
    superstable theories
    0 references
    finite rank
    0 references
    locally modular
    0 references