Jan Mycielski. A Lattice of Interpretability Types of Theories. Journal of Symbolic Logic, 42(2):297-305, 1977.
@article{Mycielski77, title = {A Lattice of Interpretability Types of Theories}, author = {Jan Mycielski}, year = {1977}, tags = {type theory}, researchr = {https://researchr.org/publication/Mycielski77}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Logic}, volume = {42}, number = {2}, pages = {297-305}, }