N. D. Markhabatov, S. V. Sudoplatov, “Definable families of theories, related calculi and ranks”, Сиб. электрон. матем. изв., 2020, том 17,страницы 700

Эта публикация цитируется в 9 статьях

Математическая логика, алгебра и теория чисел

Definable families of theories, related calculi and ranks

N. D. Markhabatov^a, S. V. Sudoplatov^bca

^a Novosibirsk State Technical University, 20, K. Marx ave., Novosibirsk, 630073, Russia
^b Sobolev Institute of Mathematics, 4, Acad. Koptyug ave., Novosibirsk, 630090, Russia
^c Novosibirsk State University, 1, Pirogova str., Novosibirsk, 630090, Russia

Аннотация: 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.

Ключевые слова: family of theories, definable subfamily, calculus, rank, degree.

УДК: 510.67

MSC: 03C30, 03C15, 03C50, 03F03, 54A05

Поступила 20 апреля 2020 г., опубликована 22 мая 2020 г.

Язык публикации: английский

DOI: 10.33048/semi.2020.17.048