The Rowland Institute for Science, 100 Cambridge Parkway, Cambridge, Massachusetts 02142, U.S.A. A construction is presented for generating sentences that satisfy a recursively enumerable set of interpretability properties. This construction is then used to prove three previously announced results concerning the lattice of local interpretability types of theories (also known as the Lattice of Chapters).
@article{bwmeta1.element.bwnjournal-article-fmv142i2p189bwm,
author = {A. Stern},
title = {Construction of sentences with specific interpretability properties},
journal = {Fundamenta Mathematicae},
volume = {142},
year = {1993},
pages = {189-200},
zbl = {0808.03041},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-fmv142i2p189bwm}
}
Stern, A. Construction of sentences with specific interpretability properties. Fundamenta Mathematicae, Tome 142 (1993) pp. 189-200. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-fmv142i2p189bwm/
[00000] [K] J. Krajíček, Some theorems on the lattice of local interpretability types, Z. Math. Logik Grundlag. Math. 31 (1985), 449-460. | Zbl 0559.03034
[00001] [MPS] J. Mycielski, P. Pudlák and A. Stern, A lattice of chapters of mathematics (interpretations between theorems), Mem. Amer. Math. Soc. 426 (1990). | Zbl 0696.03030
[00002] [T] B. A. Trachtenbrot, On recursive inseparability, Dokl. Akad. Nauk SSSR 88 (1953), 953-956 (in Russian).
[00003] [V] R. L. Vaught, Axiomatizability by a schema, J. Symbolic Logic 32 (1967), 473-479. | Zbl 0191.29303