On Limits of Sequences of Hyperarithmetical Functionals and Predicates

Journal of Symbolic Logic 39 (2):344-345 (1974)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2272684

Links

PhilArchive



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

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

Review: Hisao Tanaka, On Limits of Sequences of Hyperarithmetical Functionals and Predicates; Tosiyuki Tugue, Hisao Tanaka, A Note on the Effective Descriptive Set Theory. [REVIEW]Stephen J. Garland - 1974 - Journal of Symbolic Logic 39 (2):344-345.
Intrinsically Hyperarithmetical Sets.Ivan N. Soskov - 1996 - Mathematical Logic Quarterly 42 (1):469-480.
Vagueness and revision sequences.C. M. Asmus - 2013 - Synthese 190 (6):953-974.
Twigs, Sequences and Temporal Sequences of Predicates.Alessandro Zucchi & Michael White - 2001 - Linguistics and Philosophy 24 (2):223-270.
Review: C. Spector, Hyperarithmetical Quantifiers; Shih-Chao Liu, Recursive Linear Orderings and Hyperarithmetical Functions. [REVIEW]Gustav Hensel - 1966 - Journal of Symbolic Logic 31 (1):137-137.
The Computational Power of ℳω.Dag Normann & Christian Rørdam - 2002 - Mathematical Logic Quarterly 48 (1):117-124.
Minimalism, fiction and ethical truth.Graham Oppy - manuscript
A decidable theory of type assignment.William R. Stirton - 2013 - Archive for Mathematical Logic 52 (5-6):631-658.
Epistemology, reliable inquiry and topology.Oliver Schulte - unknown
The hereditary partial effective functionals and recursion theory in higher types.G. Longo & E. Moggi - 1984 - Journal of Symbolic Logic 49 (4):1319-1332.
Review of J. Cummings, A Model in Which GCH Holds at Successors but Fails at Limits; Strong Ultrapowers and Long Core Models; Coherent Sequences Versus Radin Sequences; and J. Cummings, M. Foreman, and M. Magidor, Squares, Scales and Stationary Reflection. [REVIEW]Arthur W. Apter - 2002 - Bulletin of Symbolic Logic 8 (4):550-552.
Cofinally Invariant Sequences and Revision.Edoardo Rivello - 2015 - Studia Logica 103 (3):599-622.
Vague predicates and language games.Rohit Parikh - 1996 - Theoria 11 (3):97-107.
Strongly majorizable functionals of finite type: A model for barrecursion containing discontinuous functionals.Marc Bezem - 1985 - Journal of Symbolic Logic 50 (3):652-660.
A transfinite hierarchy of reals.George Barmpalias - 2003 - Mathematical Logic Quarterly 49 (2):163-172.

Analytics

Added to PP
2015-02-05

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references