Annals of Pure and Applied Logic 166 (4):409-463 (2015)

Authors
Kentaro Fujimoto
University of Bristol
Abstract This article has no associated abstract. (fix it)
Keywords No keywords specified (fix it)
Categories (categorize this paper)
DOI 10.1016/j.apal.2014.11.001
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: 63,323
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

Proof-Theoretic Analysis of KPM.Michael Rathjen - 1991 - Archive for Mathematical Logic 30 (5-6):377-403.

View all 8 references / Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Proof Theory of Iterated Inductive Definitions Revisited.W. Buchholz - forthcoming - Archive for Mathematical Logic.
A Note on Theories for Quasi-Inductive Definitions.Riccardo Bruni - 2009 - Review of Symbolic Logic 2 (4):684-699.
Classes and Truths in Set Theory.Kentaro Fujimoto - 2012 - Annals of Pure and Applied Logic 163 (11):1484-1523.
Ordinal Analysis of Non-Monotone-Definable Inductive Definitions.Wolfram Pohlers - 2008 - Annals of Pure and Applied Logic 156 (1):160-169.
Fundamental Notions of Analysis in Subsystems of Second-Order Arithmetic.Jeremy Avigad - 2006 - Annals of Pure and Applied Logic 139 (1):138-184.

Analytics

Added to PP index
2015-08-28

Total views
57 ( #186,838 of 2,448,712 )

Recent downloads (6 months)
1 ( #445,641 of 2,448,712 )

How can I increase my downloads?

Downloads

My notes