Some theorems on the lattice of local interpretability types
Commentationes Mathematicae Universitatis Carolinae (1983)
- Volume: 024, Issue: 2, page 387-387
- ISSN: 0010-2628
Access Full Article
topHow to cite
topKrajíček, Jan. "Some theorems on the lattice of local interpretability types." Commentationes Mathematicae Universitatis Carolinae 024.2 (1983): 387-387. <http://eudml.org/doc/17258>.
@article{Krajíček1983,
author = {Krajíček, Jan},
journal = {Commentationes Mathematicae Universitatis Carolinae},
language = {eng},
number = {2},
pages = {387-387},
publisher = {Charles University in Prague, Faculty of Mathematics and Physics},
title = {Some theorems on the lattice of local interpretability types},
url = {http://eudml.org/doc/17258},
volume = {024},
year = {1983},
}
TY - JOUR
AU - Krajíček, Jan
TI - Some theorems on the lattice of local interpretability types
JO - Commentationes Mathematicae Universitatis Carolinae
PY - 1983
PB - Charles University in Prague, Faculty of Mathematics and Physics
VL - 024
IS - 2
SP - 387
EP - 387
LA - eng
UR - http://eudml.org/doc/17258
ER -
References
top- A. Ehrenfeucht J. Mycielski, Theorems and problems on the lattice of local interpretabllity, manuscript.
- J. Mycielski, A lattice of interpretabllity types of theories, Journal of Symbolic Logic 42, 1977. (1977) MR0505480
NotesEmbed ?
topTo embed these notes on your page include the following JavaScript code on your page where you want the notes to appear.