|
Vestnik Novosibirskogo Gosudarstvennogo Universiteta. Seriya Matematika, Mekhanika, Informatika, 2008, Volume 8, Issue 4, Pages 23–32
(Mi vngu304)
|
|
|
|
This article is cited in 2 scientific papers (total in 2 papers)
On $\Sigma^0_1$-Classification of Relations on Computable Structures
S. S. Goncharovab, N. T. Kogabaevab a Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk
b Novosibirsk State University
Abstract:
In the paper the example of computable structure in the language with infinite number of binary predicate symbols without $\Sigma^0_1$-classification of all unary relations, which are definable by $\Sigma^0_1$-formulas on the structure, is constructed.
Received: 17.05.2008
Citation:
S. S. Goncharov, N. T. Kogabaev, “On $\Sigma^0_1$-Classification of Relations on Computable Structures”, Vestn. Novosib. Gos. Univ., Ser. Mat. Mekh. Inform., 8:4 (2008), 23–32
Linking options:
https://www.mathnet.ru/eng/vngu304 https://www.mathnet.ru/eng/vngu/v8/i4/p23
|
Statistics & downloads: |
Abstract page: | 301 | Full-text PDF : | 86 | References: | 48 | First page: | 1 |
|