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

Undecidable hopf bifurcation with undecidable fixed point

โœ Scribed by N. C. A. Costa; F. A. Doria

Publisher
Springer
Year
1994
Tongue
English
Weight
867 KB
Volume
33
Category
Article
ISSN
0020-7748

No coin nor oath required. For personal study only.

๐Ÿ“œ SIMILAR VOLUMES

The Lindenbaum fixed point algebra is un
The Lindenbaum fixed point algebra is undecidable
โœ V. Yu. Shavrukov ๐Ÿ“‚ Article ๐Ÿ“… 1991 ๐Ÿ› Springer Netherlands ๐ŸŒ English โš– 263 KB

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