𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Interpretability in

✍ Scribed by Marta Bílková; Dick de Jongh; Joost J. Joosten

Book ID
103811519
Publisher
Elsevier Science
Year
2009
Tongue
English
Weight
641 KB
Volume
161
Category
Article
ISSN
0168-0072

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Relatedness and interpretability
Relatedness and interpretability
✍ Richard L. Epstein; Szczerba 📂 Article 📅 1979 🏛 Springer Netherlands 🌐 English ⚖ 248 KB
Explicit Fixed Points in Interpretabilit
Explicit Fixed Points in Interpretability Logic
✍ Dick Jongh; Albert Visser 📂 Article 📅 1991 🏛 Springer Netherlands 🌐 English ⚖ 496 KB

The problem of Uniqueness and Explicit Definability of Fixed Points for Interpretability Logic is considered. It turns out that Uniqueness is an immediate corollary of a theorem of Smoryfiski.