An order‐theoretic characterization of the Schütte‐Veblen‐Hierarchy

DOI10.1002/malq.19930390141zbMath0817.03028OpenAlexW2159974547MaRDI QIDQ4304120

Andreas Weiermann

Publication date: 5 October 1994

Published in: Mathematical Logic Quarterly (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1002/malq.19930390141

zbMATH Keywords

ordinal notationswell-orderingsKruskal's theoremwell-partial orderingsKlammersymbols

Mathematics Subject Classification ID

Partial orders, general (06A06) Recursive ordinals and ordinal notations (03F15) Ordinal and cardinal numbers (03E10)

Related Items

An order-theoretic characterization of the Howard-Bachmann-hierarchy, A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets, Well-partial-orderings and the big Veblen number

Cites Work

• Unnamed Item