Geodesic
Some theorems on the lattice of local interpretability types
Commentationes Mathematicae Universitatis Carolinae, Tome 24 (1983) no. 2, p. 387

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

Classification : 06A20 
Krajíček, Jan. Some theorems on the lattice of local interpretability types. Commentationes Mathematicae Universitatis Carolinae, Tome 24 (1983) no. 2, p. 387. http://geodesic.mathdoc.fr/item/CMUC_1983_24_2_a16/
@article{CMUC_1983_24_2_a16,
     author = {Kraj{\'\i}\v{c}ek, Jan},
     title = {Some theorems on the lattice of local interpretability types},
     journal = {Commentationes Mathematicae Universitatis Carolinae},
     pages = {387},
     year = {1983},
     volume = {24},
     number = {2},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/CMUC_1983_24_2_a16/}
}
TY  - JOUR
AU  - Krajíček, Jan
TI  - Some theorems on the lattice of local interpretability types
JO  - Commentationes Mathematicae Universitatis Carolinae
PY  - 1983
SP  - 387
VL  - 24
IS  - 2
UR  - http://geodesic.mathdoc.fr/item/CMUC_1983_24_2_a16/
LA  - en
ID  - CMUC_1983_24_2_a16
ER  - 
%0 Journal Article
%A Krajíček, Jan
%T Some theorems on the lattice of local interpretability types
%J Commentationes Mathematicae Universitatis Carolinae
%D 1983
%P 387
%V 24
%N 2
%U http://geodesic.mathdoc.fr/item/CMUC_1983_24_2_a16/
%G en
%F CMUC_1983_24_2_a16

[1] A. Ehrenfeucht J. Mycielski: Theorems and problems on the lattice of local interpretabllity. manuscript.

[2] J. Mycielski: A lattice of interpretabllity types of theories. Journal of Symbolic Logic 42, 1977. | MR