Compositions of multivalued functions

DOI10.3233/COM-180235zbMATH Open1460.03013OpenAlexW3009083242MaRDI QIDQ5131652FDOQ5131652

Authors: Jun Le Goh 

Publication date: 9 November 2020

Published in: Computability (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/com-180235

Recommendations

• Using Ramsey's theorem once
• Computable reductions and reverse mathematics
• Ramsey's theorem and products in the Weihrauch degrees
• On the uniform computational content of Ramsey's theorem
• On notions of computability-theoretic reduction between Π21 principles

zbMATH Keywords

Weihrauch reducibilitycompositional productreduction gamestep product

Mathematics Subject Classification ID

Computation over the reals, computable analysis (03D78) Second- and higher-order arithmetic and fragments (03F35) Other degrees and reducibilities in computability and recursion theory (03D30)

Cited In (7)

• Lawvere-Tierney topologies for computability theorists
• ON THE REPRESENTATION OF FUNCTIONS AS A SUM OF SEVERAL COMPOSITIONS
• Composition of Inner Functions
• Title not available (Why is that?)
• Multisummable functions
• Multi-valued functions in computability theory
• On Weihrauch reducibility and intuitionistic reverse mathematics

This page was built for publication: Compositions of multivalued functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5131652)