Filter spaces and continuous functionals

Annals of Mathematical Logic 16 (2):101-143 (1979)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0003-4843(79)90006-8

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,597

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

The continuous functionals; computations, recursions and degrees.Dag Normann - 1981 - Annals of Mathematical Logic 21 (1):1.
Limit spaces and transfinite types.Dag Normann & Geir Waagb - 2002 - Archive for Mathematical Logic 41 (6):525-539.
The Continuous Functionals as Limit Spaces.Dag Normann - 2012 - In Ulrich Berger, Hannes Diener, Peter Schuster & Monika Seisenberger (eds.), Logic, Construction, Computation. De Gruyter. pp. 353-380.
Normann Dag. Recursion on the countable functionals. Lecture notes in mathematics, vol. 811. Springer-Verlag, Berlin, Heidelberg, and New York, 1980, VIII + 191 pp.Normann Dag. The continuous functionals; computations, recursions and degrees. Annals of mathematical logic, vol. 21 , pp. 1–26. [REVIEW]Peter G. Hinman - 1984 - Journal of Symbolic Logic 49 (2):668-670.
Degrees of functionals.Dag Normann - 1979 - Annals of Mathematical Logic 16 (3):269.
A constructive manifestation of the Kleene–Kreisel continuous functionals.Martín Escardó & Chuangjie Xu - 2016 - Annals of Pure and Applied Logic 167 (9):770-793.
R.E. degrees of continuous functionals.Dag Normann - 1983 - Archive for Mathematical Logic 23 (1):79-98.
Filter spaces: towards a unified theory of large cardinal and embedding axioms BEIGEL, R., GASARCH, W. and OWINGS, J., Nondeterministic bounded query reducibilities. [REVIEW]A. Apter, C. Diprisco, J. Henle & W. Zwicker - 1989 - Annals of Pure and Applied Logic 41:299.
General type-structures of continuous and countable functionals.Dag Normann - 1983 - Mathematical Logic Quarterly 29 (4):177-192.
Filter logics: Filters on ω1.Matt Kaufmann - 1981 - Annals of Mathematical Logic 20 (2):155-200.

Analytics

Added to PP
2014-01-17

Downloads
41 (#549,457)

6 months
15 (#210,649)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Total sets and objects in domain theory.Ulrich Berger - 1993 - Annals of Pure and Applied Logic 60 (2):91-117.
Countable functionals and the projective hierarchy.Dag Normann - 1981 - Journal of Symbolic Logic 46 (2):209-215.
Computability over the Partial Continuous Functionals.Dag Normann - 2000 - Journal of Symbolic Logic 65 (3):1133-1142.
Characterizing the continuous functionals.Dag Normann - 1983 - Journal of Symbolic Logic 48 (4):965-969.

View all 9 citations / Add more citations

References found in this work

A notion of mechanistic theory.G. Kreisel - 1974 - Synthese 29 (1-4):11 - 26.
Countable functionals.S. C. Kleene - 1959 - Journal of Symbolic Logic 27 (3):81--100.

Add more references