Locally modular theories of finite rank (Q581394): Difference between revisions
From MaRDI portal
Created a new Item |
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
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
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