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

Voir la notice de l'article provenant de la source Czech Digital Mathematics Library

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},
     publisher = {mathdoc},
     volume = {18},
     number = {1},
     year = {1977},
     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
PB  - mathdoc
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
%I mathdoc
%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/