# Construction of sentences with specific interpretability properties

Fundamenta Mathematicae (1993)

- Volume: 142, Issue: 2, page 189-200
- ISSN: 0016-2736

## Access Full Article

top## Abstract

top## How to cite

topStern, A.. "Construction of sentences with specific interpretability properties." Fundamenta Mathematicae 142.2 (1993): 189-200. <http://eudml.org/doc/211981>.

@article{Stern1993,

abstract = {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).},

author = {Stern, A.},

journal = {Fundamenta Mathematicae},

keywords = {sentences that satisfy a recursively enumerable set of interpretability properties; lattice of local interpretability types},

language = {eng},

number = {2},

pages = {189-200},

title = {Construction of sentences with specific interpretability properties},

url = {http://eudml.org/doc/211981},

volume = {142},

year = {1993},

}

TY - JOUR

AU - Stern, A.

TI - Construction of sentences with specific interpretability properties

JO - Fundamenta Mathematicae

PY - 1993

VL - 142

IS - 2

SP - 189

EP - 200

AB - 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).

LA - eng

KW - sentences that satisfy a recursively enumerable set of interpretability properties; lattice of local interpretability types

UR - http://eudml.org/doc/211981

ER -

## References

top- [K] J. Krajíček, Some theorems on the lattice of local interpretability types, Z. Math. Logik Grundlag. Math. 31 (1985), 449-460. Zbl0559.03034
- [MPS] J. Mycielski, P. Pudlák and A. Stern, A lattice of chapters of mathematics (interpretations between theorems), Mem. Amer. Math. Soc. 426 (1990). Zbl0696.03030
- [T] B. A. Trachtenbrot, On recursive inseparability, Dokl. Akad. Nauk SSSR 88 (1953), 953-956 (in Russian).
- [V] R. L. Vaught, Axiomatizability by a schema, J. Symbolic Logic 32 (1967), 473-479. Zbl0191.29303

## NotesEmbed ?

topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.