|
This article is cited in 19 scientific papers (total in 19 papers)
Mathematical logic, algebra and number theory
Approximations of theories
S. V. Sudoplatovabc a Sobolev Institute of Mathematics, 4, Acad. Koptyug ave., Novosibirsk, 630090, Russia
b Novosibirsk State Technical University, 20, K. Marx ave., Novosibirsk, 630073, Russia
c Novosibirsk State University, 1, Pirogova str., Novosibirsk, 630090, Russia
Abstract:
We study approximations of theories both in general context and with respect to some natural classes of theories. Some kinds of approximations are considered, connections with finitely axiomatizable theories and minimal generating sets of theories as well as their $e$-spectra are found. $e$-categorical approximating families are introduced and characterized.
Keywords:
approximation of theory, combination of structures, closure, finitely axiomatizable theory, $e$-spectrum.
Received April 20, 2020, published May 22, 2020
Citation:
S. V. Sudoplatov, “Approximations of theories”, Sib. Èlektron. Mat. Izv., 17 (2020), 715–725
Linking options:
https://www.mathnet.ru/eng/semr1244 https://www.mathnet.ru/eng/semr/v17/p715
|
|