Acyclicity and reduction

Annals of Pure and Applied Logic 170 (3):383-426 (2019)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2018.10.005

Links

PhilArchive



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

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

Computable fields and the bounded Turing reduction.Rebecca M. Steiner - 2012 - Annals of Pure and Applied Logic 163 (6):730-742.
Sequential evaluation strategies for parallel-or and related reduction systems.J. R. Kennaway - 1989 - Annals of Pure and Applied Logic 43 (1):31-56.
Reduction of higher type levels by means of an ordinal analysis of finite terms.Jan Terlouw - 1985 - Annals of Pure and Applied Logic 28 (1):73-102.
Forcing the Π 3 1 -reduction property and a failure of Π 3 1 -uniformization.Stefan Hoffelner - 2023 - Annals of Pure and Applied Logic 174 (8):103292.
Annals of pure and applied logic.Ja Makowsky - forthcoming - Annals of Pure and Applied Logic.
Introducing article numbering to Annals of Pure and Applied Logic.Giovanni Raneri - 2019 - Annals of Pure and Applied Logic 170 (11):102728.
TERLOUW, J., Reduction of higher type levels by means of an ordinal analysis of finite terms WOOD, C., see SARACINO, D.D. Saracino - 1985 - Annals of Pure and Applied Logic 28 (1):322.
Separation Problems of Analytic Relations , Université Pierre et Marie Curie, France, 2015. Supervised by Dominique Lecomte.Rafael Zamora - 2018 - Bulletin of Symbolic Logic 24 (2):202-202.
Addendum and corrigendum Choice Principles in Hyperuniverses Annals of Pure and Applied Logic 77 (1996) 35–52.Marco Forti & Furio Honsell - 1998 - Annals of Pure and Applied Logic 92 (2):211-214.
Erratum to “Ordinal notations and well-orderings in bounded arithmetic” [Annals of Pure and Applied Logic 120 (2003) 197–223]. [REVIEW]Arnold Beckmann, Samuel R. Buss & Chris Pollett - 2003 - Annals of Pure and Applied Logic 123 (1-3):291.

Analytics

Added to PP
2018-10-31

Downloads
12 (#1,094,846)

6 months
2 (#1,448,741)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Add more references