𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Fixed points and diagonal method

✍ Scribed by Maurizio Negri


Publisher
John Wiley and Sons
Year
1990
Tongue
English
Weight
667 KB
Volume
36
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


On diagonal fixed points of increasing f
✍ LoΓ―c Colson πŸ“‚ Article πŸ“… 1999 πŸ› Elsevier Science 🌐 English βš– 228 KB

It is shown that the least fixed point and greatest fixed point operations of an increasing function 0 of two arguments over a complete lattice commute if the function is fight-associative.

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
Renormalons and fixed points
✍ Georges Grunberg πŸ“‚ Article πŸ“… 1996 πŸ› Elsevier Science 🌐 English βš– 500 KB
Fixed points and inequalities
✍ Momčilo Bjelica πŸ“‚ Article πŸ“… 1997 πŸ› Elsevier Science 🌐 English βš– 177 KB