Derivatives of normal functions and omega-models

2017/04/28 by Toshiyasu Arai, Arai, Toshiyasu
Computer Science · #03F15 #03F35 #AI-based Problem Solving and Planning #Computability, Logic, AI Algorithms #FOS: Mathematics #Logic (math.LO) #semigroups and automata theory

paper · pdf · doi:10.48550/arxiv.1704.08790

openalex publication_date 2017/04/28 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

In this note the well-ordering principle for the derivative of normal functions on ordinals is shown to be equivalent to the existence of arbitrarily large countable coded omega-models of the well-ordering principle for the function.

Related

• Proof-theoretic strengths of the well ordering principles
• Well ordering principles and bar induction
• Normal functions and maximal order types
• Well-Ordering Principles in Proof Theory and Reverse Mathematics
• Q_α-Normal Families and entire functions