Derivatives of normal functions and \(\omega \)-models
type: Item
instance of: scholarly article
title: Derivatives of normal functions and \(\omega \)-models
zbMATH Open document ID: 1496.03241
author: Toshiyasu Arai
published in: Archive for Mathematical Logic
publication date: 2018-08-16T00:00:00Z
full work available at URL: https://arxiv.org/abs/1704.08790
Mathematics Subject Classification ID: 03F35
Mathematics Subject Classification ID: 03F15
Mathematics Subject Classification ID: 03B30
zbMATH DE Number: 6919831
zbMATH Keywords: derivative of normal functions
zbMATH Keywords: \(\omega \)-models
zbMATH Keywords: well-ordering principle
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2963196587
arXiv ID: 1704.08790
cites work: Reverse mathematics and well-ordering principles: a pilot study
cites work: Some results on cut-elimination, provable well-orderings, induction and reflection
cites work: Systems of predicative analysis, II: Representations of ordinals
cites work: Q3773876
cites work: Reverse mathematics and ordinal exponentiation
cites work: The Veblen functions for computability theorists
cites work: Q3464624
cites work: Reverse mathematics and well-ordering principles
cites work: Q4143279
cites work: Q3395521
cites work: A Remark on Gentzen's paper “Beweisbarkeit und Unbeweisbarkeit von Anfangsfällen der transfiniten induktionin der reinen zahlentheorie”, I
cites work: Proof theory. 2nd ed
DOI: 10.1007/S00153-017-0600-5
Recommended article: Normality and exceptional functions of derivatives
Recommended article: Normal functions and \(\alpha\)-normal functions
Recommended article: Derivatives of Blaschke Products and Model Space Functions
Recommended article: The normal derivative lemma and surrounding issues
Recommended article: Normal functions concerning derivatives and shared sets
Recommended article: Quasinormality and exceptional functions of derivatives
Recommended article: On the derivative of a normal function associated with a Deligne cohomology class
Recommended article: Normality and exceptional values of derivatives
Recommended article: A note on ordinal exponentiation and derivatives of normal functions
Recommended article: Nonvanishing derivatives and normal families
description: scientific article