Geodesic
The non-axiomatizability of the observational predicate calculus (generalized Trachtenbrot's theorems)
Commentationes Mathematicae Universitatis Carolinae, Tome 18 (1977) no. 1, pp. 41-57 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 02B10, 02G10, 03B10, 03B60 
@article{CMUC_1977_18_1_a3,
     author = {Iv\'anek, Ji\v{r}{\'\i}},
     title = {The non-axiomatizability of the observational predicate calculus (generalized {Trachtenbrot's} theorems)},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {41--57},
     year = {1977},
     volume = {18},
     number = {1},
     mrnumber = {0476476},
     zbl = {0398.03011},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1977_18_1_a3/}
}
TY  - JOUR
AU  - Ivánek, Jiří
TI  - The non-axiomatizability of the observational predicate calculus (generalized Trachtenbrot's theorems)
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1977
SP  - 41
EP  - 57
VL  - 18
IS  - 1
UR  - http://geodesic.mathdoc.fr/item/CMUC_1977_18_1_a3/
LA  - en
ID  - CMUC_1977_18_1_a3
ER  - 
%0 Journal Article
%A Ivánek, Jiří
%T The non-axiomatizability of the observational predicate calculus (generalized Trachtenbrot's theorems)
%J Commentationes Mathematicae Universitatis Carolinae
%D 1977
%P 41-57
%V 18
%N 1
%U http://geodesic.mathdoc.fr/item/CMUC_1977_18_1_a3/
%G en
%F CMUC_1977_18_1_a3
Ivánek, Jiří. The non-axiomatizability of the observational predicate calculus (generalized Trachtenbrot's theorems). Commentationes Mathematicae Universitatis Carolinae, Tome 18 (1977) no. 1, pp. 41-57. http://geodesic.mathdoc.fr/item/CMUC_1977_18_1_a3/

[1] IVÁNEK J.: O neaxiomatizovatelnosti observačního predikátového počtu. (Master thesis, Charles University 1976).

[2] JECH T. J.: Lectures in Set Theory with Particular Emphasis on the Method of Forcing. Lecture Notes in Mathematics 217, Springer-Verlag 1971 (Russian translationt Moskva 1973). | MR | Zbl

[3] MATIASEVIČ J. V.: Diofantovosť perečislimych množestv. Doklady AN SSSR (1970), 279-282.

[4] MATIASEVIČ J. V.: Diofantovo predstavlenie perečislimych predikatov. Izvestija AN SSSR, Serija matematičeskaja 35 (1971), 3-30.

[5] ROGERS H.: Theory of recursive functions and effective computability. McGraw-Hill Book Company,1967 (Russian translation: Moskva 1972). | MR | Zbl

[6] SHOENFIELD J. R.: Mathematical Logic. Addison-Wesley Publishing Company,1967 (Russian translation: Moskva, 1975). | MR | Zbl

[7] TRACHTENBROT B. A.: Nevozmožnosť algorifma dlja problemy razrešimosti na koněčnych klassach. Doklady AN SSSR 70 (1950), 569-572.

[8] TRACHTENBROT B. A.: O rekursivnoj otdělimosti. Doklady AN SSSR 88 (1953), 953-956. | MR