scientific article; zbMATH DE number 175743

MaRDI QIDQ4034796zbMATH OpenFDO

Authors A. T. Nurtazin

Publication date 18 May 1993

zbMATH Keywords

atomic modelcountable theoryminimal modelsimple model

Mathematics Subject Classification ID

Categoricity and completeness of theories (03C35) Classification theory, stability, and related concepts in model theory (03C45) Set-theoretic model theory (03C55)

Review text

Using results of D. Saks, the author proves the following Theorem: Let \(T\) be a complete and countable theory such that over an arbitrary countable set there is a simple and minimal model. Then over an arbitrary set there is a simple and minimal model; each model \(\mathcal A\) being atomic over a certain of its subsets is simple over it; a subset \(B\) of a model \(\mathcal A\) is atomic over a subset \(C\) of \(\mathcal A\) iff \(B\) is contained in a certain submodel of \(\mathcal A\) which is simple over \(C\); in a simple model which is minimal over a certain set, infinite sequences do not exist which are not distinguishable over this set. [For the entire collection see Zbl 0745.00015.]

Recommendations

• scientific article; zbMATH DE number 175742
• On atomic models
• scientific article; zbMATH DE number 175741
• A complete theory with arbitrarily large minimality ranks
• A remark on minimal models

Cited in

(8)

• Minimal models of minimal theories
• A remark on minimal models
• On atomic models
• Relations between strongly minimal sets in models
• APPLICATIONS OF LYNDON HOMOMORPHISM THEOREMS TO THE THEORY OF MINIMAL MODELS
• scientific article; zbMATH DE number 175741 (Why is no real title available?)
• scientific article; zbMATH DE number 175742 (Why is no real title available?)
• A model-theoretic Baire category theorem for simple theories and its applications

This page was built for publication:

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