Algebras of Distributionsof Binary Semi-isolating Formulasfor Families of Isolated Typesand for Countably Categorical Theories

摘要

We apply a general approach for distributions of binary isolating andsemi-isolating formulas to families of isolated types and to the class ofcountably categorical theories. Containing compositions and Booleancombinations, structures associated with binary formulas linking isolatedtypes in general case and for ω-categorical theories are characterized.