𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Explicit Hierarchical Fixed Point Approach to

✍ Scribed by Giuseppe Marino; Hong-Kun Xu

Publisher
Springer
Year
2011
Tongue
English
Weight
577 KB
Volume
149
Category
Article
ISSN
0022-3239

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

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.