Definable families of theories, related calculi and ranks
arXiv:1901.11011
Abstract
We consider sentence-definable and diagram-definable subfamilies of given families of theories, calculi for these subfamilies, as well dynamics and characteristics of these subfamilies with respect to rank and degree.
arXiv admin note: substantial text overlap with arXiv:1901.08464; text overlap with arXiv:1901.08961