The characterization of Weihrauch reducibility in systems containing e-pa ω + qf-ac0;0

Journal of Symbolic Logic:1-35 (forthcoming)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/jsl.2020.53

Other Versions

No versions found

Links

PhilArchive



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

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 characterization of Weihrauch reducibility in systems containing.Patrick Uftring - 2021 - Journal of Symbolic Logic 86 (1):224-261.
On Weihrauch reducibility and intuitionistic reverse mathematics.Rutger Kuyper - 2017 - Journal of Symbolic Logic 82 (4):1438-1458.
Weihrauch Goes Brouwerian.Vasco Brattka & Guido Gherardi - 2020 - Journal of Symbolic Logic 85 (4):1614-1653.
Kripke-style semantics for Jaskowski's system qf.Max Urchs - 1981 - Bulletin of the Section of Logic 10 (1):24-28.
Review: Patrick C. Fischer, A Note on Bounded-Truth-Table Reducibility. [REVIEW]Paul R. Young - 1970 - Journal of Symbolic Logic 35 (3):478-478.
The open and clopen Ramsey theorems in the Weihrauch lattice.Alberto Marcone & Manlio Valenti - 2021 - Journal of Symbolic Logic 86 (1):316-351.
Searching for an analogue of atr0 in the Weihrauch lattice.Takayuki Kihara, Alberto Marcone & Arno Pauly - 2020 - Journal of Symbolic Logic 85 (3):1006-1043.
Fischer Patrick C.. A note on bounded-truth-table reducibility. Proceedings of the American Mathematical Society, vol. 14 , pp. 875–877. [REVIEW]Paul R. Young - 1970 - Journal of Symbolic Logic 35 (3):478.
A characterization of 2-square ultrafilters.Ned I. Rosen - 1983 - Journal of Symbolic Logic 48 (2):409-414.
Characterization, Interpolation and Complexity, by Carlos Areces, Patrick Blackburn and Maarten Marx.Patrick Blackburn & Maarten Marx Hybrid Logic - 2001 - Journal of Symbolic Logic 66 (3):977-1010.

Analytics

Added to PP
2020-10-28

Downloads
19 (#1,078,214)

6 months
7 (#715,360)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

No references found.

Add more references