|
This article is cited in 9 scientific papers (total in 9 papers)
Mathematical logic, algebra and number theory
Definable families of theories, related calculi and ranks
N. D. Markhabatova, S. V. Sudoplatovbca 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
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.
Keywords:
family of theories, definable subfamily, calculus, rank, degree.
Received April 20, 2020, published May 22, 2020
Citation:
N. D. Markhabatov, S. V. Sudoplatov, “Definable families of theories, related calculi and ranks”, Sib. Èlektron. Mat. Izv., 17 (2020), 700–714
Linking options:
https://www.mathnet.ru/eng/semr1243 https://www.mathnet.ru/eng/semr/v17/p700
|
|