Autonomous Fixed Point Progressions and Fixed Point Transfinite Recursion

Bulletin of Symbolic Logic 7 (4):535-536 (2001)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2687806

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

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

Through your library

My notes

Similar books and articles

Review: Thomas Strahm, Autonomous Fixed Point Progressions and Fixed Point Transfinite Recursion. [REVIEW]Andrea Cantini - 2001 - Bulletin of Symbolic Logic 7 (4):535-536.
Yet another hierarchy theorem.Max Kubierschky - 2000 - Journal of Symbolic Logic 65 (2):627-640.
On a super large fixed-point of common information in multi-agent signalling games.Anton Benz - 2012 - Logic Journal of the IGPL 20 (1):94-120.
Some unifying fixed point principles.Raymond M. Smullyan - 1991 - Studia Logica 50 (1):129 - 141.
The Fixed Point Property in Modal Logic.Lorenzo Sacchetti - 2001 - Notre Dame Journal of Formal Logic 42 (2):65-86.
A fixed point theorem for o-minimal structures.Kam-Chau Wong - 2003 - Mathematical Logic Quarterly 49 (6):598.
On the λY calculus.Rick Statman - 2004 - Annals of Pure and Applied Logic 130 (1-3):325-337.
Guarded quantification in least fixed point logic.Gregory McColm - 2004 - Journal of Logic, Language and Information 13 (1):61-110.
Diagonalization and self-reference.Raymond Merrill Smullyan - 1994 - New York: Clarendon Press.
Automorphisms of Recursively Saturated Models of Peano Arithmetic: Fixed Point Sets.Roman Kossak - 1997 - Logic Journal of the IGPL 5 (6):787-794.
Iterative and fixed point common belief.Aviad Heifetz - 1999 - Journal of Philosophical Logic 28 (1):61-79.
Dispensing with the Fixed Point: Scientific Law as Historical Event.Wilda C. Anderson - 1983 - History and Theory 22 (3):264-277.
Comparing fixed-point and revision theories of truth.Philip Kremer - 2009 - Journal of Philosophical Logic 38 (4):363-403.
Explicit mathematics with the monotone fixed point principle.Michael Rathjen - 1998 - Journal of Symbolic Logic 63 (2):509-542.
Explicit mathematics with the monotone fixed point principle. II: Models.Michael Rathjen - 1999 - Journal of Symbolic Logic 64 (2):517-550.

Analytics

Added to PP
2015-02-06

Downloads
9 (#1,228,347)

6 months
4 (#800,606)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Universes over Frege structures.Reinhard Kahle - 2003 - Annals of Pure and Applied Logic 119 (1-3):191-223.

Add more citations

References found in this work

No references found.

Add more references