Principles for normalization of formulas

DOI10.1007/BF00968425zbMath0529.03010OpenAlexW1974577876MaRDI QIDQ787130

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

stable theoryMorley rankgeneralized Morley classificationnormalization principles

Mathematics Subject Classification ID

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

Related Items (2)

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

Cites Work

• Unnamed Item
• Properties of m-types in stable theories
• Rank functions in stable theories
• Ranks and definability in superstable theories
• Theories with a finite number of models in an uncountable power are categorical
• Stability, the f.c.p., and superstability; model theoretic properties of formulas in first order theory
• Two conjectures regarding the stability of ω-categorical theories
• Categoricity in Power
• Finite diagrams stable in power
• A property of stable theories

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