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.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have