Fixed point theory in weak second-order arithmetic

Annals of Pure and Applied Logic 47 (2):167-188 (1990)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/0168-0072(90)90068-d
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 43,780
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

Countable Algebra and Set Existence Axioms.H. M. Friedman - 1983 - Annals of Pure and Applied Logic 25 (2):141.

Add more references

Citations of this work BETA

Weak Axioms of Determinacy and Subsystems of Analysis II.Kazuyuki Tanaka - 1991 - Annals of Pure and Applied Logic 52 (1-2):181-193.

View all 12 citations / Add more citations

Similar books and articles

An Intensional Fixed Point Theory Over First Order Arithmetic.Gerhard Jäger - 2004 - Annals of Pure and Applied Logic 128 (1-3):197-213.
Fixed Point Logics.Anuj Dawar & Yuri Gurevich - 2002 - Bulletin of Symbolic Logic 8 (1):65-88.
Explicit Mathematics with the Monotone Fixed Point Principle.Michael Rathjen - 1998 - Journal of Symbolic Logic 63 (2):509-542.
On Interpretations of Bounded Arithmetic and Bounded Set Theory.Richard Pettigrew - 2009 - Notre Dame Journal of Formal Logic 50 (2):141-152.
The Fixed Point Property in Modal Logic.Lorenzo Sacchetti - 2001 - Notre Dame Journal of Formal Logic 42 (2):65-86.
Weak Theories of Concatenation and Arithmetic.Yoshihiro Horihata - 2012 - Notre Dame Journal of Formal Logic 53 (2):203-222.
On the Weak Kleene Scheme in Kripke's Theory of Truth.James Cain & Zlatan Damnjanovic - 1991 - Journal of Symbolic Logic 56 (4):1452-1468.
A Feasible Theory for Analysis.Fernando Ferreira - 1994 - Journal of Symbolic Logic 59 (3):1001-1011.

Analytics

Added to PP index
2014-01-16

Total views
6 ( #947,815 of 2,264,864 )

Recent downloads (6 months)
1 ( #860,568 of 2,264,864 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature