𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Fixed points and homotopy fixed points

✍ Scribed by E. Dror Farjoun; A. Zabrodsky


Book ID
110558134
Publisher
European Mathematical Society
Year
1988
Tongue
English
Weight
418 KB
Volume
63
Category
Article
ISSN
0010-2571

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


Incompleteness and Fixed Points
✍ Lorenzo Sacchetti πŸ“‚ Article πŸ“… 2002 πŸ› John Wiley and Sons 🌐 English βš– 206 KB

Our purpose is to present some connections between modal incompleteness and modal logics related to the GΓΆdel-LΓΆb logic GL. One of our goals is to prove that for all is incomplete and does not have the fixed point property. As a consequence we shall obtain that the Boolos logic KH does not have the

Discontinuity and Fixed Points
✍ R.P. Pant πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 54 KB