Ordinal analysis of simple cases of bar recursion

Journal of Symbolic Logic 46 (1):17-30 (1981)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 94,593

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

Recursion in Kolmogorov's R-operator and the ordinal σ3.Thomas John - 1986 - Journal of Symbolic Logic 51 (1):1-11.
On bar recursion of types 0 and 1.Helmut Schwichtenberg - 1979 - Journal of Symbolic Logic 44 (3):325-329.

Analytics

Added to PP
2009-01-28

Downloads
49 (#321,282)

6 months
7 (#624,066)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Primitive Recursion and the Chain Antichain Principle.Alexander P. Kreuzer - 2012 - Notre Dame Journal of Formal Logic 53 (2):245-265.
On the no-counterexample interpretation.Ulrich Kohlenbach - 1999 - Journal of Symbolic Logic 64 (4):1491-1511.
On Spector's bar recursion.Paulo Oliva & Thomas Powell - 2012 - Mathematical Logic Quarterly 58 (4-5):356-265.

View all 9 citations / Add more citations

References found in this work

A new type assignment for λ-terms.M. Coppo & M. Dezani-Ciancaglini - 1978 - Archive for Mathematical Logic 19 (1):139-156.
Über die mit dem Bar-Rekursor vom Typ 0 definierbaren Ordinalzahlen.H. Vogel - 1978 - Archive for Mathematical Logic 19 (1):165-173.

Add more references