- Tytuł:
- Construction of sentences with specific interpretability properties
- Autorzy:
- Stern, A.
- Powiązania:
- https://bibliotekanauki.pl/articles/1208640.pdf
- Data publikacji:
- 1993
- Wydawca:
- Polska Akademia Nauk. Instytut Matematyczny PAN
- Opis:
-
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). - Źródło:
-
Fundamenta Mathematicae; 1993, 142, 2; 189-200
0016-2736 - Pojawia się w:
- Fundamenta Mathematicae
- Dostawca treści:
- Biblioteka Nauki
Artykuł