|
This article is cited in 10 scientific papers (total in 10 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
|
|