Closed choice and a uniform low basis theorem

Annals of Pure and Applied Logic 163 (8):986-1008 (2012)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 74,594

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Ultrafilters Generated by a Closed Set of Functions.Greg Bishop - 1995 - Journal of Symbolic Logic 60 (2):415-430.
More About Uniform Upper Bounds on Ideals of Turing Degrees.Harold T. Hodes - 1983 - Journal of Symbolic Logic 48 (2):441-457.
Uniform Inseparability in Explicit Mathematics.Andrea Cantini & Pierluigi Minari - 1999 - Journal of Symbolic Logic 64 (1):313-326.
Storage Operators and Directed Lambda-Calculus.René David & Karim Nour - 1995 - Journal of Symbolic Logic 60 (4):1054-1086.
Covering Analytic Sets by Families of Closed Sets.Sławomir Solecki - 1994 - Journal of Symbolic Logic 59 (3):1022-1031.

Analytics

Added to PP
2013-10-27

Downloads
15 (#693,083)

6 months
1 (#418,924)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Completion of Choice.Vasco Brattka & Guido Gherardi - 2021 - Annals of Pure and Applied Logic 172 (3):102914.
Weihrauch Goes Brouwerian.Vasco Brattka & Guido Gherardi - 2020 - Journal of Symbolic Logic 85 (4):1614-1653.

View all 14 citations / Add more citations

References found in this work

Effective Borel Measurability and Reducibility of Functions.Vasco Brattka - 2005 - Mathematical Logic Quarterly 51 (1):19-44.
How Incomputable Is the Separable Hahn-Banach Theorem?Guido Gherardi & Alberto Marcone - 2009 - Notre Dame Journal of Formal Logic 50 (4):393-425.
On the (Semi)Lattices Induced by Continuous Reducibilities.Arno Pauly - 2010 - Mathematical Logic Quarterly 56 (5):488-502.

View all 9 references / Add more references