Iterated trees and fragments of arithmetic

Archive for Mathematical Logic 34 (2):97-112 (1995)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

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

Similar books and articles

Toward the Limits of the Tennenbaum Phenomenon.Paola D'Aquino - 1997 - Notre Dame Journal of Formal Logic 38 (1):81-92.
Notes on polynomially bounded arithmetic.Domenico Zambella - 1996 - Journal of Symbolic Logic 61 (3):942-966.
An algebraic treatment of quantifier-free systems of arithmetic.Franco Montagna - 1996 - Archive for Mathematical Logic 35 (4):209-224.
Finding paths through narrow and wide trees.Stephen Binns & Bjørn Kjos-Hanssen - 2009 - Journal of Symbolic Logic 74 (1):349-360.
Generalizations of the Kruskal-Friedman theorems.L. Gordeev - 1990 - Journal of Symbolic Logic 55 (1):157-181.
Predicative fragments of Frege arithmetic.Øystein Linnebo - 2004 - Bulletin of Symbolic Logic 10 (2):153-174.

Analytics

Added to PP
2013-11-23

Downloads
16 (#883,649)

6 months
5 (#629,136)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

∑2-constructions and I∑1.Marcia Groszek & Tamara Hummel - 1998 - Annals of Pure and Applied Logic 93 (1-3):83-101.
∑2-constructions and I∑1.Marcia Groszek & Tamara Hummel - 1998 - Annals of Pure and Applied Logic 93 (1-3):83-101.
∑2-constructions and I∑1.Marcia Groszek & Tamara Hummel - 1998 - Annals of Pure and Applied Logic 93 (1-3):83-101.

Add more citations

References found in this work

Countable algebra and set existence axioms.Harvey M. Friedman - 1983 - Annals of Pure and Applied Logic 25 (2):141.
Finite injury and Σ1-induction.Michael Mytilinaios - 1989 - Journal of Symbolic Logic 54 (1):38 - 49.

Add more references