Veblen Hierarchy

From MaRDI portal

Publication:2865735

Jump to:navigation, search

DOI10.2478/v10037-011-0014-5zbMath1276.03044OpenAlexW4250123132MaRDI QIDQ2865735

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

Mizar Veblen hierarchy Veblen functions

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (3)

More on divisibility criteria for selected primes ⋮ Term context ⋮ Sorting by Exchanging

Uses Software

Mizar

This page was built for publication: Veblen Hierarchy

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2865735&oldid=15804437"

Pages with script errors