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
topHow 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 ?
topYou must be logged in to post comments.
To embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.