@article{106235,
author = {Jan Kraj\'\i \v cek},
title = {Some theorems on the lattice of local interpretability types},
journal = {Commentationes Mathematicae Universitatis Carolinae},
volume = {024},
year = {1983},
pages = {387-387},
language = {en},
url = {http://dml.mathdoc.fr/item/106235}
}
Krajíček, Jan. Some theorems on the lattice of local interpretability types. Commentationes Mathematicae Universitatis Carolinae, Tome 024 (1983) p. 387. http://gdmltest.u-ga.fr/item/106235/
Theorems and problems on the lattice of local interpretabllity, manuscript.
A lattice of interpretabllity types of theories, Journal of Symbolic Logic 42, 1977. (1977) | MR 0505480