solidot新版网站常见问题,请点击这里查看。
消息
本文已被查看9778次
Definable families of theories, related calculi and ranks. (arXiv:1901.11011v1 [math.LO])
来源于:arXiv
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. 查看全文>>