Bulletin of Symbolic Logic 7 (1):77-78 (2001)

Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.2307/2687831
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: 51,591
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

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles

Intuitionistically Provable Recursive Well-Orderings.Harvey M. Friedman & Andre Scedrov - 1986 - Annals of Pure and Applied Logic 30 (2):165-171.
Epsilon Substitution for Transfinite Induction.Henry Towsner - 2004 - Archive for Mathematical Logic 44 (4):397-412.
Borel Quasi-Orderings in Subsystems of Second-Order Arithmetic.Alberto Marcone - 1991 - Annals of Pure and Applied Logic 54 (3):265-291.
Bar Induction and Ω Model Reflection.Gerhard Jäger & Thomas Strahm - 1999 - Annals of Pure and Applied Logic 97 (1-3):221-230.
Contraction-Elimination for Implicational Logics.Ryo Kashima - 1997 - Annals of Pure and Applied Logic 84 (1):17-39.
Diophantine Induction.Richard Kaye - 1990 - Annals of Pure and Applied Logic 46 (1):1-40.
The Role of Parameters in Bar Rule and Bar Induction.Michael Rathjen - 1991 - Journal of Symbolic Logic 56 (2):715-730.
Preservation Theorems for Bounded Formulas.Morteza Moniri - 2007 - Archive for Mathematical Logic 46 (1):9-14.
Proof-Theoretic Analysis by Iterated Reflection.Lev D. Beklemishev - 2003 - Archive for Mathematical Logic 42 (6):515-552.
The Metamathematics of Scattered Linear Orderings.P. Clote - 1989 - Archive for Mathematical Logic 29 (1):9-20.
Proof Theory of Reflection.Michael Rathjen - 1994 - Annals of Pure and Applied Logic 68 (2):181-224.

Analytics

Added to PP index
2017-02-22

Total views
0

Recent downloads (6 months)
0

How can I increase my downloads?

Downloads

Sorry, there are not enough data points to plot this chart.

My notes