Derivatives of normal functions and -models

DOI10.1007/S00153-017-0600-5zbMATH Open1496.03241arXiv1704.08790OpenAlexW2963196587MaRDI QIDQ1661685FDOQ1661685

Authors: Toshiyasu Arai 

Publication date: 16 August 2018

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

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.

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

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

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)

Cites Work

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

Cited In (3)

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

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)