Infinite fixed-point algebras

In Anil Nerode & Richard A. Shore (eds.), Recursion Theory. American Mathematical Society. pp. 42--473 (1985)

Abstract

This article has no associated abstract. (fix it)

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,805

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Analytics

Added to PP
2014-01-31

Downloads
2 (#1,459,555)

6 months
1 (#386,031)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Robert Solovay
University of California, Berkeley

References found in this work

No references found.

Add more references

Citations of this work

Add more citations

Similar books and articles

Fixed Point Logics.Anuj Dawar & Yuri Gurevich - 2002 - Bulletin of Symbolic Logic 8 (1):65-88.
Yet Another Hierarchy Theorem.Max Kubierschky - 2000 - Journal of Symbolic Logic 65 (2):627-640.
ŁΠ Logic with Fixed Points.Luca Spada - 2008 - Archive for Mathematical Logic 47 (7-8):741-763.
Monadic GMV-Algebras.Jiří Rachůnek & Dana Šalounová - 2008 - Archive for Mathematical Logic 47 (3):277-297.
A Completeness Result for Fixed‐Point Algebras.Franco Montagna - 1984 - Mathematical Logic Quarterly 30 (32‐34):525-532.
The Fixed Point Property in Modal Logic.Lorenzo Sacchetti - 2001 - Notre Dame Journal of Formal Logic 42 (2):65-86.
Guarded Quantification in Least Fixed Point Logic.Gregory McColm - 2004 - Journal of Logic, Language and Information 13 (1):61-110.
A Topological Approach to Yablo's Paradox.Claudio Bernardi - 2009 - Notre Dame Journal of Formal Logic 50 (3):331-338.