Metric fixed point theory and partial impredicativity

Fernndez-Duque, D., Shafer, P. orcid.org/0000-0001-5386-9218, Towsner, H. et al. (1 more author) (2023) Metric fixed point theory and partial impredicativity. Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, 381 (2248). 20220012. ISSN: 1364-503X

Metadata

Item Type: Article
Authors/Creators:
Copyright, Publisher and Additional Information:

This is an author produced version of an article published in Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences, made available via the University of Leeds Research Outputs Policy under the terms of the Creative Commons Attribution License (CC-BY), which permits unrestricted use, distribution and reproduction in any medium, provided the original work is properly cited.
Keywords: computability theory; reverse mathematics; second-order arithmetic; fixed-point theorems; variational principles
Dates:
  • Accepted: 9 February 2023
  • Published (online): 10 April 2023
  • Published: 29 May 2023
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mathematics (Leeds)
Date Deposited: 19 Jan 2026 16:43
Last Modified: 20 Jan 2026 02:09
Status: Published
Publisher: The Royal Society
Identification Number: 10.1098/rsta.2022.0012
Related URLs:
Open Archives Initiative ID (OAI ID):

Export

Statistics

View Altmetric information about this item.


CORE (COnnecting REpositories)