The degree of a Σn cut

Annals of Pure and Applied Logic 48 (3):227-235 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

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

Cut elimination for the unified logic.Jacqueline Vauzeilles - 1993 - Annals of Pure and Applied Logic 62 (1):1-16.
Simpson, SG, Tanaka, K. and Yamazaki, T., Some conserva.K. Tanaka - 2002 - Annals of Pure and Applied Logic 118:249.
A cut elimination theorem for stationary logic.M. E. Szabo - 1987 - Annals of Pure and Applied Logic 33 (C):181-193.
Cut-elimination for ω1.Toshiyasu Arai - 2018 - Annals of Pure and Applied Logic 169 (12):1246-1269.
Is cut-free logic fit for unrestricted abstraction?Uwe Petersen - 2022 - Annals of Pure and Applied Logic 173 (6):103101.
The continuity of cupping to 0'.Klaus Ambos-Spies, Alistair H. Lachlan & Robert I. Soare - 1993 - Annals of Pure and Applied Logic 64 (3):195-209.
Degree theory on ℵω.C. T. Chong & Sy D. Friedman - 1983 - Annals of Pure and Applied Logic 24 (1):87-97.

Analytics

Added to PP
2014-01-16

Downloads
41 (#112,661)

6 months
21 (#723,368)

Historical graph of downloads
How can I increase my downloads?