|
Zapiski Nauchnykh Seminarov POMI, 2008, Volume 358, Pages 23–37
(Mi znsl2143)
|
|
|
|
This article is cited in 5 scientific papers (total in 5 papers)
Non-maximal decidable structures
A. Bès, P. Cégielski LACL, Université Paris-Est
Abstract:
Given any infinite structure $\mathfrak M$ with a decidable first-order theory, we give a sufficient condition in terms of the Gaifman graph of $\mathfrak M$, which ensures that $\mathfrak M$ can be expanded with some non-definable predicate in such a way that the first-order theory of the expansion is still decidable. Bibl. – 10 titles.
Received: 22.05.2007
Citation:
A. Bès, P. Cégielski, “Non-maximal decidable structures”, Studies in constructive mathematics and mathematical logic. Part XI, Zap. Nauchn. Sem. POMI, 358, POMI, St. Petersburg, 2008, 23–37; J. Math. Sci. (N. Y.), 158:5 (2009), 615–622
Linking options:
https://www.mathnet.ru/eng/znsl2143 https://www.mathnet.ru/eng/znsl/v358/p23
|
|