Veblen hierarchy
From MaRDI portal
Publication:2865735
DOI10.2478/V10037-011-0014-5zbMATH Open1276.03044OpenAlexW4250123132MaRDI QIDQ2865735FDOQ2865735
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
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
Mechanization of proofs and logical operations (03B35) Recursive ordinals and ordinal notations (03F15)
Cited In (8)
- 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
- Title not available (Why is that?)
- Hyperations, Veblen progressions and transfinite iteration of ordinal functions
- Title not available (Why is that?)
Uses Software
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)
