๐”– Bobbio Scriptorium
โœฆ   LIBER   โœฆ

The Lindenbaum fixed point algebra is undecidable

โœ Scribed by V. Yu. Shavrukov

Publisher
Springer Netherlands
Year
1991
Tongue
English
Weight
263 KB
Volume
50
Category
Article
ISSN
0039-3215

No coin nor oath required. For personal study only.

โœฆ Synopsis

We prove that the first order theory of the fixed point algebra corresponding to an r.e. consistent theory containing arithmetic is hereditarily tmdecidable.

๐Ÿ“œ SIMILAR VOLUMES

There is an equivalent norm on that has
There is an equivalent norm on that has the fixed point property
โœ Pei-Kee Lin ๐Ÿ“‚ Article ๐Ÿ“… 2008 ๐Ÿ› Elsevier Science ๐ŸŒ English โš– 167 KB

Let ฮณ k = 8 k 1+8 k for all k โˆˆ N, and let ||| โ€ข ||| be the equivalent norm of 1 defined by We prove that ( 1 , ||| โ€ข |||) has the fixed point property for nonexpansive self-mappings.