Derivatives of normal functions and omega-models
classification
🧮 math.LO
keywords
functionsnormalomega-modelsprinciplewell-orderingarbitrarilycodedcountable
read the original 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.
This paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.