Derivatives of normal functions and \(\omega \)-models

DOI10.1007/s00153-017-0600-5zbMath1496.03241arXiv1704.08790OpenAlexW2963196587MaRDI QIDQ1661685

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)

Related Items (2)

Derivatives of normal functions in reverse mathematics ⋮ Proof-theoretic strengths of the well-ordering principles

Cites Work

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

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