Definable families of theories, related calculi and ranks

Authors

  • Сергей Владимирович Судоплатов Sobolev Institute of Mathematics, Novosibirsk State University, Novosibirsk State Technical University
  • Нурлан Мархабатов Novosibirsk State Technical University

Keywords:

family of theories, definable subfamily, calculus, rank, degree

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.

Downloads

Published

2019-12-19

Issue

Vol. 17 (2020)

Section

Mathematical logic, algebra and number theory