Studia Logica 50 (1):143-147 (1991)

Abstract
We prove that the first order theory of the fixed point algebra corresponding to an r.e. consistent theory containing arithmetic is hereditarily undecidable
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1007/BF00370392
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 53,013
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Self-Reference and Modal Logic.George Boolos & C. Smorynski - 1988 - Journal of Symbolic Logic 53 (1):306.
A Completeness Result for Fixed-Point Algebras.Franco Montagna - 1984 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 30 (32-34):525-532.
A Completeness Result for Fixed‐Point Algebras.Franco Montagna - 1984 - Mathematical Logic Quarterly 30 (32‐34):525-532.
Self-Reference and Modal Logic.[author unknown] - 1987 - Studia Logica 46 (4):395-398.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Analytics

Added to PP index
2009-01-28

Total views
20 ( #491,579 of 2,344,158 )

Recent downloads (6 months)
1 ( #514,058 of 2,344,158 )

How can I increase my downloads?

Downloads

My notes