On bar recursion of types 0 and 1

Journal of Symbolic Logic 44 (3):325-329 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273126

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,607

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A direct proof of schwichtenberg’s bar recursion closure theorem.Paulo Oliva & Silvia Steila - 2018 - Journal of Symbolic Logic 83 (1):70-83.
Helmut Schwichtenberg. Finite notations for infinite terms. Annals of pure and applied logic, vol. 94 , pp. 201–222. [REVIEW]Herman Ruge Jervell - 2000 - Bulletin of Symbolic Logic 6 (4):477-477.
Schwichtenberg Helmut. Rekursionszahlen und die Grzegorczyk-Hierarchie. Archiv für mathematische Logik und Grundlagenforschung, vol. 12 , pp. 85–97. [REVIEW]R. M. Baer - 1970 - Journal of Symbolic Logic 35 (3):480.
Ordinal analysis of simple cases of bar recursion.W. A. Howard - 1981 - Journal of Symbolic Logic 46 (1):17-30.
The role of parameters in bar rule and bar induction.Michael Rathjen - 1991 - Journal of Symbolic Logic 56 (2):715-730.
Omitting types: Application to recursion theory.Thomas J. Grilliot - 1972 - Journal of Symbolic Logic 37 (1):81-89.
Bar recursion and products of selection functions.Martín Escardó & Paulo Oliva - 2015 - Journal of Symbolic Logic 80 (1):1-28.
Thomas J. Grilliot. Omitting types: application to recursion theory. The journal of symbolic logic, vol. 37 , pp. 81–89.Wayne Richter - 1975 - Journal of Symbolic Logic 40 (1):87-88.
On Spector's bar recursion.Paulo Oliva & Thomas Powell - 2012 - Mathematical Logic Quarterly 58 (4-5):356-265.

Analytics

Added to PP
2009-01-28

Downloads
67 (#311,010)

6 months
13 (#242,872)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

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.
A constructive analysis of learning in Peano Arithmetic.Federico Aschieri - 2012 - Annals of Pure and Applied Logic 163 (11):1448-1470.

View all 6 citations / Add more citations

References found in this work

No references found.

Add more references