The non-axiomatizability of the observational predicate calculus (generalized Trachtenbrot's theorems)
Ivánek, Jiří
Commentationes Mathematicae Universitatis Carolinae, Tome 018 (1977), p. 41-57 / Harvested from Czech Digital Mathematics Library
Access to full text
Full (PDF)
Publié le : 1977-01-01
Classification:  02B10,  02G10,  03B10,  03B60 
@article{105747,
     author = {Ji\v r\'\i\ Iv\'anek},
     title = {The non-axiomatizability of the observational predicate calculus (generalized Trachtenbrot's theorems)},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     volume = {018},
     year = {1977},
     pages = {41-57},
     zbl = {0398.03011},
     mrnumber = {0476476},
     language = {en},
     url = {http://dml.mathdoc.fr/item/105747}
}

Ivánek, Jiří. The non-axiomatizability of the observational predicate calculus (generalized Trachtenbrot's theorems). Commentationes Mathematicae Universitatis Carolinae, Tome 018 (1977) pp. 41-57. http://gdmltest.u-ga.fr/item/105747/

Ivánek J. O neaxiomatizovatelnosti observačního predikátového počtu, (Master thesis, Charles University 1976). (1976)

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). (1971) | MR 0321738 | Zbl 0236.02048

Matiasevič J. V. Diofantovosť perečislimych množestv, Doklady AN SSSR (1970), 279-282. (1970)

Matiasevič J. V. Diofantovo predstavlenie perečislimych predikatov, Izvestija AN SSSR, Serija matematičeskaja 35 (1971), 3-30. (1971)

Rogers H. Theory of recursive functions and effective computability, McGraw-Hill Book Company,1967 (Russian translation: Moskva 1972). (1967) | MR 0224462 | Zbl 0183.01401

Shoenfield J. R. Mathematical Logic, Addison-Wesley Publishing Company,1967 (Russian translation: Moskva, 1975). (1967) | MR 0225631 | Zbl 0155.01102

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

Trachtenbrot B. A. O rekursivnoj otdělimosti, Doklady AN SSSR 88 (1953), 953-956. (1953) | MR 0065492