Principles for normalization of formulas

DOI10.1007/BF00968425MaRDI QIDQ787130zbMATH OpenOpenAlexFDO

Authors T. G. Mustafin

Publication date 1981

Published in Siberian Mathematical Journal (Search for Journal in Brave)

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

zbMATH Keywords

Morley rankstable theorygeneralized Morley classificationnormalization principles

Mathematics Subject Classification ID

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

Cites work

• scientific article; zbMATH DE number 3601572 (Why is no real title available?)
• A property of stable theories
• Categoricity in Power
• Finite diagrams stable in power
• Properties of m-types in stable theories
• Rank functions in stable theories
• Ranks and definability in superstable theories
• Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory
• Theories with a finite number of models in an uncountable power are categorical
• Two conjectures regarding the stability of ω-categorical theories

Cited in

(2)

• Forking types and rank functions in stable theories
• A.D. Taimanov and model theory in Kazakhstan

This page was built for publication: Principles for normalization of formulas

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