Locally modular theories of finite rank (Q581394): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
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 | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0168-0072(86)90038-2 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2078601910 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The geometry of weakly minimal types / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Invariants for \(\omega\)-categorical, \(\omega\)-stable theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Maximal chains in the fundamental order / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Second-order quantifiers and the complexity of theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: \(\aleph _ 0\)-categorical, \(\aleph _ 0\)-stable structures / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4097277 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Ranks and definability in superstable theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Relation entre le rang U et le poids / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An introduction to forking / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A survey of basic stability theory, with particular emphasis on orthogonality and regular types / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3041166 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Classification theory and the number of non-isomorphic models / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strongly minimal countably categorical theories. II / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Strongly minimal countably categorical theories. III / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 12:32, 18 June 2024
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
0 references