Veblen hierarchy

DOI10.2478/V10037-011-0014-5MaRDI QIDQ2865735zbMATH OpenOpenAlexFDO

Authors Grzegorz Bancerek

Publication date 3 December 2013

Published in Formalized Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2478/v10037-011-0014-5

zbMATH Keywords

MizarVeblen hierarchyVeblen functions

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35) Recursive ordinals and ordinal notations (03F15)

Recommendations

• Functors and ordinal notations. I: A functorial construction of the veblen hierarchy
• A simplified functorial construction of the veblen hierarchy
• Hyperations, Veblen progressions and transfinite iteration of ordinal functions
• Built-up systems of fundamental sequences and hierarchies of number-theoretic functions
• Fruitful and helpful ordinal functions

Cited in

(8)

• scientific article; zbMATH DE number 756050 (Why is no real title available?)
• More on divisibility criteria for selected primes
• Functors and ordinal notations. I: A functorial construction of the veblen hierarchy
• Non-trivial universes and sequences of universes
• Term context
• Sorting by exchanging
• Hyperations, Veblen progressions and transfinite iteration of ordinal functions
• scientific article; zbMATH DE number 3983154 (Why is no real title available?)

Describes a project that uses

Uses Software

• Mizar

This page was built for publication: Veblen hierarchy

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