ASH, CJ, Stability of recursive structures in arithmetical degrees BLASS, A. and GUREVICH, Y., Henkin quantifiers and complete problems BUCHHOLZ, W., A new system of proof-theoretic ordinal functions [Book Review]

&
Annals of Pure and Applied Logic 32 (C):299 (1986)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(86)90043-6

Other Versions

No versions found

Links

PhilArchive



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

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

Ash, CJ, Stability of recursive structures in arithmetical degrees Ash, CJ, Categoric@ in hyperarithmetical degrees.D. Cenzer, P. Clote, R. L. Smith, S. S. Wainer, K. J. Compton, C. W. Henson & S. Shelah - 1988 - Annals of Pure and Applied Logic 40:307-310.
Stability of recursive structures in arithmetical degrees.C. J. Ash - 1986 - Annals of Pure and Applied Logic 32:113-135.
A new system of proof-theoretic ordinal functions.W. Buchholz - 1986 - Annals of Pure and Applied Logic 32:195-207.
Henkin Quantifiers and Complete Problems.Andreas Blass & Yuri Gurevich - 1986 - Annals of Pure and Applied Logic 32:1--16.
A slow growing analogue to buchholz' proof.Toshiyasu Arai - 1991 - Annals of Pure and Applied Logic 54 (2):101-120.
Elementary descent recursion and proof theory.Harvey Friedman & Michael Sheard - 1995 - Annals of Pure and Applied Logic 71 (1):1-45.
Ordinal analysis by transformations.Henry Towsner - 2009 - Annals of Pure and Applied Logic 157 (2-3):269-280.
Σ 1 -elementarity and Skolem hull operators.Gunnar Wilken - 2007 - Annals of Pure and Applied Logic 145 (2):162-175.
Equilibrium semantics of languages of imperfect information.Merlijn Sevenster & Gabriel Sandu - 2010 - Annals of Pure and Applied Logic 161 (5):618-631.
ASH, CJ, Categoricity in hyperarithmetical degrees (1) BALDWIN, JT and HARRINGTON, L., Trivial pursuit: Re-marks on the main gap (3) COOPER, SB and EPSTEIN, RL, Complementing below re-cursively enumerable degrees (1). [REVIEW]Rl Epstein - 1987 - Annals of Pure and Applied Logic 34 (1):311.

Analytics

Added to PP
2014-04-06

Downloads
11 (#1,415,873)

6 months
4 (#1,246,333)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Modal translations in substructural logics.Kosta Došen - 1992 - Journal of Philosophical Logic 21 (3):283 - 336.
Failure of the Blok–Esakia Theorem in the monadic setting.G. Bezhanishvili & L. Carai - 2025 - Annals of Pure and Applied Logic 176 (4):103527.
Constructive theories through a modal lens.Matteo Tesi - 2025 - Logic Journal of the IGPL 33 (1):149-172.

View all 9 citations / Add more citations

References found in this work

Ideas and Results in Proof Theory.Dag Prawitz & J. E. Fenstad - 1971 - Journal of Symbolic Logic 40 (2):232-234.
Integrating classical and intuitionistic type theory.Robert C. Flagg - 1986 - Annals of Pure and Applied Logic 32:27-51.

Add more references