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)

Categories

Keywords

Reprint years

DOI

10.1016/j.apal.2011.12.020

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,990

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 contrast to the low basis theorem.David Lippe - 2002 - Annals of Pure and Applied Logic 117 (1-3):203-207.
The uniform boundedness theorem and a boundedness principle.Hajime Ishihara - 2012 - Annals of Pure and Applied Logic 163 (8):1057-1061.
Aligning the weak König lemma, the uniform continuity theorem, and Brouwer’s fan theorem.Josef Berger - 2012 - Annals of Pure and Applied Logic 163 (8):981-985.
Lebesgue’s dominated convergence theorem in Bishop’s style.Claudio Sacerdoti Coen & Enrico Zoli - 2012 - Annals of Pure and Applied Logic 163 (2):140-150.
The intermediate value theorem in constructive mathematics without choice.Matthew Hendtlass - 2012 - Annals of Pure and Applied Logic 163 (8):1050-1056.
The full basis theorem does not imply analytic wellordering.Vladimir Kanovei & Vassily Lyubetsky - 2021 - Annals of Pure and Applied Logic 172 (4):102929.
Another extension of Van de Wiele's theorem.Robert S. Lubarsky - 1988 - Annals of Pure and Applied Logic 38 (3):301-306.
Uniform interpolation and coherence.Tomasz Kowalski & George Metcalfe - 2019 - Annals of Pure and Applied Logic 170 (7):825-841.
Addendum and corrigendum Choice Principles in Hyperuniverses Annals of Pure and Applied Logic 77 (1996) 35–52.Marco Forti & Furio Honsell - 1998 - Annals of Pure and Applied Logic 92 (2):211-214.
Uniform interpolation and compact congruences.Samuel J. van Gool, George Metcalfe & Constantine Tsinakis - 2017 - Annals of Pure and Applied Logic 168 (10):1927-1948.

Analytics

Added to PP
2013-10-27

Downloads
30 (#520,961)

6 months
13 (#276,402)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Completion of choice.Vasco Brattka & Guido Gherardi - 2021 - Annals of Pure and Applied Logic 172 (3):102914.
Computable Stone spaces.Nikolay Bazhenov, Matthew Harrison-Trainor & Alexander Melnikov - 2023 - Annals of Pure and Applied Logic 174 (9):103304.
Weihrauch Goes Brouwerian.Vasco Brattka & Guido Gherardi - 2020 - Journal of Symbolic Logic 85 (4):1614-1653.

View all 17 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