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

Michael Rathjen () and Sergei Tupailo ()
Additional contact information
Michael Rathjen: University of Leeds, School of Mathematics
Sergei Tupailo: University of Leeds, School of Mathematics

Chapter Chapter 19 in The Legacy of Kurt Schütte, 2020, pp 377-399 from Springer

Abstract: Abstract The paper is concerned with a line of research that plumbs the scope of constructive theories. The object of investigation here is Feferman’s intuitionistic theory of explicit mathematics augmented by the monotone fixed point principle which asserts that every monotone operation on classifications (Feferman’s notion of set) possesses a least fixed point. To be more precise, the new axiom not merely postulates the existence of a least solution, but, by adjoining a newfunctional constant to the language, it is ensured that a fixed point is uniformly presentable as a function of the monotone operation. The strength of the classical non-uniform version, MID, was investigated in [6] whereas that of the uniform version was determined in [16, 17] and shown to be that of subsystems of second order arithmetic based on $$ \varPi_{2}^{1} $$ -comprehension. This involved a rendering of $$ \varPi_{2}^{1} $$ -comprehension in terms of fixed points of non-monotonic $$ \varPi_{1}^{1} $$ -operators and a proof-theoretic interpretation of the latter in specific operator theories that can be interpreted in explicit mathematics with the uniform monotone fixed point principle. The intent of the current paper is to show that the same strength obtains when the underlying logic is taken to be intuitionistic logic.

Date: 2020
References: Add references at CitEc
Citations:

There are no downloads for this item, see the EconPapers FAQ for hints about obtaining it.

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:spr:sprchp:978-3-030-49424-7_19

Ordering information: This item can be ordered from
http://www.springer.com/9783030494247

DOI: 10.1007/978-3-030-49424-7_19

Access Statistics for this chapter

More chapters in Springer Books from Springer
Bibliographic data for series maintained by Sonal Shukla () and Springer Nature Abstracting and Indexing ().