Principles for normalization of formulas

DOI10.1007/BF00968425zbMATH Open0529.03010OpenAlexW1974577876MaRDI QIDQ787130FDOQ787130

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

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

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)