On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics

Rathjen, M orcid.org/0000-0003-1699-4778 and Tupailo, S (2020) On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics. In: Kahle, R and Rathjen, M, (eds.) The Legacy of Kurt Schütte. Springer , pp. 377-399. ISBN 978-3-030-49423-0

Abstract

Metadata

Item Type: Book Section
Authors/Creators:
Editors:
Copyright, Publisher and Additional Information:

© 2020 Springer Nature Switzerland AG. This is an author produced version of a book chapter published in The Legacy of Kurt Schütte. Uploaded in accordance with the publisher's self-archiving policy.

Dates:
  • Published: 11 August 2020
  • Accepted: 6 December 2019
Institution: The University of Leeds
Academic Units: The University of Leeds > Faculty of Engineering & Physical Sciences (Leeds) > School of Mathematics (Leeds) > Pure Mathematics (Leeds)
Funding Information:
Funder
Grant number
John Templeton Foundation (US)
60842
Depositing User: Symplectic Publications
Date Deposited: 07 Jan 2020 10:12
Last Modified: 16 May 2023 15:47
Status: Published
Publisher: Springer
Identification Number: 10.1007/978-3-030-49424-7_19
Open Archives Initiative ID (OAI ID):

Export

Statistics