Definable families of theories, related calculi and ranks

2019/01/30 by Markhabatov, Nurlan, Sudoplatov, Sergey
#FOS: Mathematics #Logic (math.LO)

paper · doi:10.48550/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.

Related

• Ranks for families of all theories of given languages
• Formulas and properties
• Ranks for families of theories and their spectra
• Expansions and restrictions of structures and theories, their hierarchies
• Classification theory for theories with NIP - a modest beginning