2025/01/22 by Shuwei Wang, Wang, Shuwei
Business, Management and Accounting · #03F25 (Primary) 03F35 #03F55 (Secondary) #FOS: Mathematics #Financial Distress and Bankruptcy Prediction #Logic (math.LO)
paper · pdf · doi:10.48550/arxiv.2501.12631
openalex publication_date 2025/01/22 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
In arXiv:0905.1675, Nik Weaver proposed a novel intuitionistic formal theory of third-order arithmetic as a formalisation of his philosophical position known as mathematical conceptualism. In this paper, we will construct a realisability model from the partial combinatory algebra of Σ11-definable partial functions and use it to provide an ordinal analysis of this formal theory. Additionally, we will examine possible extensions to this system by adding well-ordering axioms, which are briefly mentioned but never thoroughly studied in Weaver's work. We aim to use the realisability arguments to discuss how much such extensions constitute an increase from the original theory's proof-theoretic strength.