Parallelizations in Weihrauch reducibility and constructive reverse mathematics
type: Item
instance of: scholarly article
title: Parallelizations in Weihrauch reducibility and constructive reverse mathematics
DOI: 10.1007/978-3-030-51466-2_4
author: Makoto Fujiwara
publication date: 2022-12-16T00:00:00Z
Mathematics Subject Classification ID: 68Qxx
zbMATH DE Number: 7633495
zbMATH Keywords: weihrauch reducibility
zbMATH Keywords: parallelization
zbMATH Keywords: constructive reverse mathematics
MaRDI profile type: Publication
full work available at URL: 978-3-030-51466-2 4
OpenAlex ID: W3037838143
cites work: The binary expansion and the intermediate value theorem in constructive reverse mathematics
cites work: The Weak Kőnig Lemma, Brouwer’s Fan Theorem, De Morgan’s Law, and Dependent Choice
cites work: Q5573965
cites work: Effective Choice and Boundedness Principles in Computable Analysis
cites work: Weihrauch degrees, omniscience principles and weak computability
cites work: Connected choice and the Brouwer fixed point theorem
cites work: On the algebraic structure of Weihrauch degrees
cites work: On uniform relationships between combinatorial problems
cites work: Bar induction and restricted classical logic
cites work: Weihrauch and constructive reducibility between existence statements
cites work: Representations of Reals in Reverse Mathematics
cites work: Reverse mathematics and uniformity in proofs without excluded middle
cites work: Using Ramsey's theorem once
cites work: Q5718575
cites work: Finite choice, convex choice and sorting
cites work: Q5711891
cites work: Applied Proof Theory: Proof Interpretations and Their Use in Mathematics
cites work: ON WEIHRAUCH REDUCIBILITY AND INTUITIONISTIC REVERSE MATHEMATICS
cites work: Constructivism in mathematics. An introduction. Volume II
description: scientific article; zbMATH DE number 7633495