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

DOI10.1007/978-3-030-49424-7_19OpenAlexW3048596112MaRDI QIDQ5013911

Sergei Tupailo, Michael Rathjen

Publication date: 3 December 2021

Published in: The Legacy of Kurt Schütte (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-030-49424-7_19

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Combinatorics (05-XX)

Related Items (1)

Proof Theory of Constructive Systems: Inductive Types and Univalence

Cites Work

• Results on the propositional \(\mu\)-calculus
• Monotone inductive definitions in a constructive theory of functions and classes
• Iterated inductive definitions and subsystems of analysis: recent proof-theoretical studies
• On the proof-theoretic strength of monotone induction in explicit mathematics
• Realization of constructive set theory into explicit mathematics: A lower bound for impredicative Mahlo universe
• Explicit mathematics with the monotone fixed point principle
• Explicit mathematics with the monotone fixed point principle. II: Models
• Monotone inductive definitions in explicit mathematics
• μ-definable sets of integers
• On the intuitionistic strength of monotone inductive definitions
• Rudiments of \(\mu\)-calculus
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the Strength of the Uniform Fixed Point Principle in Intuitionistic Explicit Mathematics