A degree theoretic definition of the ramified analytic hierarchy

Annals of Mathematical Logic 10 (1):1 (1976)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/s0079-8169(08)60180-4

Links

PhilArchive



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

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

A degree-theoretic definition of the ramified analytical hierarchy.Carl G. Jockusch & Stephen G. Simpson - 1976 - Annals of Mathematical Logic 10 (1):1-32.
Jumping through the transfinite: The master code hierarchy of Turing degrees.Harold T. Hodes - 1980 - Journal of Symbolic Logic 45 (2):204-220.
Review: James Van Aken, Axioms for the Set-Theoretic Hierarchy; Stephen Pollard, More Axioms for the Set-Theoretic Hierarchy; Michael D. Potter, Sets. An Introduction. [REVIEW]Vann McGee - 1993 - Journal of Symbolic Logic 58 (3):1077-1078.
Bounding computably enumerable degrees in the Ershov hierarchy.Angsheng Li, Guohua Wu & Yue Yang - 2006 - Annals of Pure and Applied Logic 141 (1):79-88.
A Hierarchy For The Plus Cupping Turing Degrees.Angsheng Li & Yong Wang - 2003 - Journal of Symbolic Logic 68 (3):972-988.
Isolation and the high/low hierarchy.Shamil Ishmukhametov & Guohua Wu - 2002 - Archive for Mathematical Logic 41 (3):259-266.
A Reflection On Russell's Ramified Types And Kripke's Hierarchy Of Truths.Fairouz Kamareddine & Twan Laan - 1996 - Logic Journal of the IGPL 4 (2):195-213.
A hierarchy for the plus cupping Turing degrees.Yong Wang & Angsheng Li - 2003 - Journal of Symbolic Logic 68 (3):972-988.
Conjunction-based sorites: A misguided objection to degree-theoretic (fuzzy) solutions to sorites paradoxes. [REVIEW]Merrie Bergmann - 2010 - Journal of Philosophical Logic 39 (1):1 - 4.
Explaining the Origin of Life is not Enough for a Definition of Life.Gerard Jagers op Akkerhuis - 2011 - Foundations of Science 16 (4):327-329.
On Genericity and Ershov's Hierarchy.Amy Gale & Rod Downey - 2001 - Mathematical Logic Quarterly 47 (2):161-182.
Deduction in TIL: From Simple to Ramified Hierarchy of Types.Marie Duží - 2013 - Organon F: Medzinárodný Časopis Pre Analytickú Filozofiu 20 (2):5-36.
Systems of notations and the ramified analytical hierarchy.Joan D. Lukas & Hilary Putnam - 1974 - Journal of Symbolic Logic 39 (2):243-253.
Kant's theory of definition.Lewis White Beck - 1956 - Philosophical Review 65 (2):179-191.
Kant's Theory of Definition.Lewis Beck - 2013 - Eidos: Revista de Filosofía de la Universidad Del Norte 18:178-197.

Analytics

Added to PP
2017-02-19

Downloads
2 (#1,780,599)

6 months
1 (#1,533,009)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Direct and local definitions of the Turing jump.Richard A. Shore - 2007 - Journal of Mathematical Logic 7 (2):229-262.
Degree structures: Local and global investigations.Richard A. Shore - 2006 - Bulletin of Symbolic Logic 12 (3):369-389.

Add more citations

References found in this work

No references found.

Add more references