Geodesic
Some theorems on the lattice of local interpretability types
Commentationes Mathematicae Universitatis Carolinae, Tome 24 (1983) no. 2, p. 387 Cet article a éte moissonné depuis la source Czech Digital Mathematics Library

Voir la notice de l'article

Classification : 06A20 
@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
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/

[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