|
This article is cited in 6 scientific papers (total in 6 papers)
The collapse theorem for theories of $I$-reducible algebraic systems
S. M. Dudakov Tver State University
Abstract:
We study $I$-reducible algebraic systems and the theory of $I$-reducible systems. We show that the lack of an independent formula in a theory is not a necessary condition for the $I$-reducibility of its models, even for extensions of Presburger arithmetic. In particular, there is an entire class of theories that are extensions of Presburger arithmetic in which there is an independent formula and which have $I$-reducible models. We show that the $I$-reducibility of a small algebraic systems automatically implies that every formula is equivalent in it to a $P$-restricted formula, and thus the collapse theorem holds for the theories of such systems.
Received: 18.02.2003
Citation:
S. M. Dudakov, “The collapse theorem for theories of $I$-reducible algebraic systems”, Izv. RAN. Ser. Mat., 68:5 (2004), 67–90; Izv. Math., 68:5 (2004), 911–933
Linking options:
https://www.mathnet.ru/eng/im503https://doi.org/10.1070/IM2004v068n05ABEH000503 https://www.mathnet.ru/eng/im/v68/i5/p67
|
Statistics & downloads: |
Abstract page: | 443 | Russian version PDF: | 185 | English version PDF: | 8 | References: | 49 | First page: | 1 |
|