TERLOUW, J., Reduction of higher type levels by means of an ordinal analysis of finite terms WOOD, C., see SARACINO, D

Annals of Pure and Applied Logic 28 (1):322 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(85)90029-6

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

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

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.
On definition trees of ordinal recursive functonals: Reduction of the recursion orders by means of type level raising.Jan Terlouw - 1982 - Journal of Symbolic Logic 47 (2):395-402.
Homogeneous finite rings in characteristic 2< sup> n.Dan Saracino & Carol Wood - 1988 - Annals of Pure and Applied Logic 40 (1):11-28.
Homogeneous finite rings in characteristic 2n.Dan Saracino & Carol Wood - 1988 - Annals of Pure and Applied Logic 40 (1):11-28.
Ordinal analysis of terms of finite type.W. A. Howard - 1980 - Journal of Symbolic Logic 45 (3):493-504.
QE commutative nilrings.D. Saracino & C. Wood - 1984 - Journal of Symbolic Logic 49 (2):644-651.
Reduction of Biological Properties by Means of Functional Sub-Types.Christian Sachse - 2005 - History and Philosophy of the Life Sciences 27 (3/4):435 - 449.
Wadge hierarchy and veblen hierarchy part I: Borel sets of finite rank.J. Duparc - 2001 - Journal of Symbolic Logic 66 (1):56-86.
Genericity and logical form.Kathrin Koslicki - 1999 - Mind and Language 14 (4):441–467.
The ordertype of β-r.E. Sets.Klaus Sutner - 1990 - Journal of Symbolic Logic 55 (2):573-576.
How to assign ordinal numbers to combinatory terms with polymorphic types.William R. Stirton - 2012 - Archive for Mathematical Logic 51 (5-6):475-501.
Theory Reduction by Means of Functional Sub‐types.Michael Esfeld & Christian Sachse - 2007 - International Studies in the Philosophy of Science 21 (1):1 – 17.

Analytics

Added to PP
2014-04-07

Downloads
7 (#1,316,802)

6 months
2 (#1,157,335)

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

QE rings in characteristic p n.Chantal Berline & Gregory Cherlin - 1983 - Journal of Symbolic Logic 48 (1):140 - 162.
QE commutative nilrings.D. Saracino & C. Wood - 1984 - Journal of Symbolic Logic 49 (2):644-651.
Rings which admit elimination of quantifiers.Chantal Berline - 1981 - Journal of Symbolic Logic 46 (1):56-58.

Add more references