A test for expandability

DOI10.1007/S001530050094MaRDI QIDQ1128187zbMATH OpenOpenAlexFDO

Authors Enrique Casanovas

Publication date 25 March 1999

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s001530050094

zbMATH Keywords

compactly expandable modelexpandable modelsuperstable theory

Mathematics Subject Classification ID

Classification theory, stability, and related concepts in model theory (03C45) Models with special properties (saturated, rigid, etc.) (03C50)

Review text

Earlier the author [J. Symb. Log. 60, No. 2, 673-683 (1995; Zbl 0827.03021)] introduced the notion of a compactly expandable model. The notion of expandability was implicitly introduced by \textit{S. Shelah} [Ann. Math. Logic 4, 75-114 (1972; Zbl 0243.02039)] and \textit{M. Morley} [``Countable models with standard part, in: P. Suppes et al. (eds.), Logic, Methodology and Philosophy of Science. IV, Stud. Log. Found. Math. 74, 57-62 (1973; Zbl 0487.03002)]. It is unknown whether every compactly expandable model is expandable or not. In the paper under review, a test for expandability is given. It is used to prove that a compactly expandable model of cardinality \(\geq 2^{\omega}\) of a superstable theory is expandable.

Recommendations

• Testing the expansion of a graph
• scientific article; zbMATH DE number 4011410
• High dimensional expanders and property testing
• A continuum of expanders
• A Novel Range Test
• An extended Simes' test
• The extension of the I test

Cited in

(2)

• Compactly expandable models and stability
• Universal theories and compactly expandable models

This page was built for publication: A test for expandability

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1128187)