Banach’s theorem in higher-order reverse mathematics

DOI10.3233/COM-230453arXiv2303.05355OpenAlexW4384696897WikidataQ122940682 ScholiaQ122940682MaRDI QIDQ6062174

Jeffry L. Hirst, Carl Mummert

Publication date: 30 November 2023

Published in: Computability (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/2303.05355

zbMATH Keywords

metric spacesbijectionreverse mathematicsWeihrauch reducibility

Mathematics Subject Classification ID

Computability and recursion theory (03Dxx)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Feferman on foundations. Logic, mathematics, philosophy
• Weihrauch degrees, omniscience principles and weak computability
• Uniform versions of some axioms of second order arithmetic
• On the Effectiveness of the Schroder-Bernstein Theorem
• ON THE UNCOUNTABILITY OF
• Reverse Mathematics
• On effectively discontinuous type-2 objects
• On uniform weak König's lemma

This page was built for publication: Banach’s theorem in higher-order reverse mathematics