Derivatives of normal functions and -models

DOI10.1007/S00153-017-0600-5MaRDI QIDQ1661685zbMATH OpenOpenAlexFDO

Authors Toshiyasu Arai

Publication date 16 August 2018

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1704.08790

zbMATH Keywords

well-ordering principle\(\omega \)-modelsderivative of normal functions

Mathematics Subject Classification ID

Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

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.

Recommendations

• Normality and exceptional functions of derivatives
• Normal functions and \(\alpha\)-normal functions
• Derivatives of Blaschke products and model space functions
• The normal derivative lemma and surrounding issues
• Normal functions concerning derivatives and shared sets
• Quasinormality and exceptional functions of derivatives
• On the derivative of a normal function associated with a Deligne cohomology class
• Normality and exceptional values of derivatives
• A note on ordinal exponentiation and derivatives of normal functions
• Nonvanishing derivatives and normal families

Cites work

• scientific article; zbMATH DE number 6536275 (Why is no real title available?)
• scientific article; zbMATH DE number 4033738 (Why is no real title available?)
• scientific article; zbMATH DE number 3572133 (Why is no real title available?)
• A Remark on Gentzen's paper “Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten induktionin der reinen zahlentheorie”, I
• Proof theory. 2nd ed
• Reverse mathematics and ordinal exponentiation
• Reverse mathematics and well-ordering principles
• Reverse mathematics and well-ordering principles: a pilot study
• Some results on cut-elimination, provable well-orderings, induction and reflection
• Subsystems of second order arithmetic
• Systems of predicative analysis, II: Representations of ordinals
• The Veblen functions for computability theorists

Cited in

(3)

• Derivatives of normal functions in reverse mathematics
• A note on ordinal exponentiation and derivatives of normal functions
• Proof-theoretic strengths of the well-ordering principles

This page was built for publication: Derivatives of normal functions and \(\omega \)-models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1661685)