Derivatives of normal functions and omega-models

作者：Arai Toshiyasu^*

来源：Archive for Mathematical Logic, 2018, 57(5-6): 649-664.

DOI：10.1007/s00153-017-0600-5

• Derivative of normal functions
• omega-models
• Well-ordering principle

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 -models of the well-ordering principle for the function g.

• 出版日期2018-8