Computability in Europe 2009

, , &
Annals of Pure and Applied Logic 163 (5):483-484 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2011.06.006

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,130

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

Beckmann, A., Buss, SR and Pollett, C., Erratum to ''Ordinal.S. R. Buss - 2003 - Annals of Pure and Applied Logic 123:293.
Beckmann, A., Pollett, C. and Buss, SR, Ordinal notations.S. R. Buss - 2003 - Annals of Pure and Applied Logic 120:285.
Samuel R. Buss. The undecidability of k-provability. Annals of pure and applied logic, vol. 53 , pp. 75–102.Alessandra Carbone - 1997 - Journal of Symbolic Logic 62 (4):1480-1481.
AMBOS-SPIES, K., LACHLAN, continuity of cupping to 0'.S. Shelah, C. Laflamme & B. Hart - 1993 - Annals of Pure and Applied Logic 64:293.
Unprovability of consistency statements in fragments of bounded arithmetic.Samuel R. Buss & Aleksandar Ignjatović - 1995 - Annals of Pure and Applied Logic 74 (3):221-244.
Computability in Europe 2011.Sam Buss, Benedikt Löwe, Dag Normann & Ivan Soskov - 2013 - Annals of Pure and Applied Logic 164 (5):509-510.
Computability in Europe 2010.Fernando Ferreira, Martin Hyland, Benedikt Löwe & Elvira Mayordomo - 2012 - Annals of Pure and Applied Logic 163 (6):621-622.
Arnold Beckmann and Wolfram Pohlers. Applications of cut-free infinitary derivations to generalized recursion theory. Annals of pure and applied logic, vol. 94 , pp. 7–19. [REVIEW]Dag Normann - 2000 - Bulletin of Symbolic Logic 6 (2):221-222.
Ignjatovik, A., see Buss, SR.A. W. Apter, M. Magidor, Ch Cornaros & K. Hauser - 1995 - Annals of Pure and Applied Logic 74:297.
Non-density in punctual computability.Noam Greenberg, Matthew Harrison-Trainor, Alexander Melnikov & Dan Turetsky - 2021 - Annals of Pure and Applied Logic 172 (9):102985.

Analytics

Added to PP
2013-10-27

Downloads
39 (#575,001)

6 months
10 (#399,629)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Benedikt Löwe
University of Amsterdam
Samuel Buss

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references