Algebras for definable families of theories

摘要

We consider algebras associated with sentence-definableand diagram-definable subfamilies of families of theories. Topologicalproperties and ranks for these algebras are characterized.