The non-axiomatizability of the observational predicate calculus (generalized Trachtenbrot's theorems)
Commentationes Mathematicae Universitatis Carolinae (1977)
- Volume: 018, Issue: 1, page 41-57
- ISSN: 0010-2628
Access Full Article
top
How to cite
topIvánek, Jiří. "The non-axiomatizability of the observational predicate calculus (generalized Trachtenbrot's theorems)." Commentationes Mathematicae Universitatis Carolinae 018.1 (1977): 41-57. <http://eudml.org/doc/16801>.
@article{Ivánek1977,
author = {Ivánek, Jiří},
journal = {Commentationes Mathematicae Universitatis Carolinae},
keywords = {Nonaxiomatizability; Observational Predicate Calculus},
language = {eng},
number = {1},
pages = {41-57},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {The non-axiomatizability of the observational predicate calculus (generalized Trachtenbrot's theorems)},
url = {http://eudml.org/doc/16801},
volume = {018},
year = {1977},
}
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
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 018
IS - 1
SP - 41
EP - 57
LA - eng
KW - Nonaxiomatizability; Observational Predicate Calculus
UR - http://eudml.org/doc/16801
ER -
References
top- 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) Zbl0236.02048MR0321738
- 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) Zbl0183.01401MR0224462
- SHOENFIELD J. R., Mathematical Logic, Addison-Wesley Publishing Company,1967 (Russian translation: Moskva, 1975). (1967) Zbl0155.01102MR0225631
- 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) MR0065492
NotesEmbed ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.