A functorial property of the Aczel-Buchholz-Feferman function

DOI10.2307/2275919zbMath0808.03039OpenAlexW2064411692MaRDI QIDQ4314682

Andreas Weiermann

Publication date: 15 March 1995

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275919

zbMATH Keywords

functorcountable ordinalsdilatorBachmann-hierarchy of ordinalsbinary Aczel-Buchholz-Feferman-functionstrictly monotonic increasing functions

Mathematics Subject Classification ID

Recursive ordinals and ordinal notations (03F15)

Related Items (1)

Finite presentability of strongly finite dilators

This page was built for publication: A functorial property of the Aczel-Buchholz-Feferman function