Reverse mathematics of the relativised fast growing hierarchy
Florian Pelupessy
TL;DR
This paper investigates the reverse mathematical strength of the totality of the relativised fast growing hierarchy, providing insights into its foundational properties within mathematical logic.
Contribution
It analyzes the reverse mathematical status of the relativised fast growing hierarchy's totality, offering new results on its logical strength.
Findings
Identifies the logical strength needed for the totality of the hierarchy
Establishes connections between the hierarchy and reverse mathematics principles
Provides new insights into the foundational aspects of fast growing functions
Abstract
A short note on the reverse mathematical status of the totality of the relativised fast growing hierarchy.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsComputational Physics and Python Applications