Well-partial-orderings and the big Veblen number

DOI10.1007/S00153-014-0408-5MaRDI QIDQ2257112zbMATH OpenOpenAlexWikidataFDO

Authors Jeroen Van der Meeren, Michael Rathjen, Andreas Weiermann

Publication date 23 February 2015

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL http://eprints.whiterose.ac.uk/81601/1/Well-partial-orderings%20and%20the%20big%20Veblen%20number.pdf

zbMATH Keywords

Kruskal's theoremcollapsing functionmaximal order typenatural well-orderingsordinal notation systemsrecursively defined treestree-embeddabilitieswell-partial-orderingsbig Veblen number

Mathematics Subject Classification ID

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

Recommendations

• An order‐theoretic characterization of the Schütte‐Veblen‐Hierarchy
• Systems of iterated projective ordinal notations and combinatorial statements about binary labeled trees
• New Computational Paradigms
• Well-partial orderings and their maximal order types
• Ordinals. I: Basic notions

Cites work

• scientific article; zbMATH DE number 3677903 (Why is no real title available?)
• scientific article; zbMATH DE number 193575 (Why is no real title available?)
• scientific article; zbMATH DE number 408817 (Why is no real title available?)
• A Computation of the Maximal Order Type of the Term Ordering on Finite Multisets
• An order‐theoretic characterization of the Schütte‐Veblen‐Hierarchy
• Bounds for the closure ordinals of replete monotonic increasing functions
• Complexity bounds for some finite forms of Kruskal's theorem
• Generalizations of the Kruskal-Friedman theorems
• Kennzeichnung von Ordnungszahlen durch rekursiv erklärte Funktionen
• Orderings of monomial ideals
• Proof-theoretic investigations on Kruskal's theorem
• The theory of well-quasi-ordering: a frequently discovered concept
• Well-quasiordering finite trees with gap-condition. Proof of Harvey Friedman's conjecture

Cited in

(12)

• Ordinal notation systems corresponding to Friedman's linearized well-partial-orders with gap-condition
• Minimal bad sequences are necessary for a uniform Kruskal theorem
• Bigeneration in complete lattices and principal separation in ordered sets
• How to compare Buchholz-style ordinal notation systems with Gordeev-style notation systems
• On Ordinal Invariants in Well Quasi Orders and Finite Antichain Orders
• From Kruskal’s theorem to Friedman’s gap condition
• Well partial orders
• scientific article; zbMATH DE number 5652506 (Why is no real title available?)
• Bachmann-Howard derivatives
• An order‐theoretic characterization of the Schütte‐Veblen‐Hierarchy
• Statures and sobrification ranks of Noetherian spaces
• An order-theoretic characterization of the Howard-Bachmann-hierarchy

This page was built for publication: Well-partial-orderings and the big Veblen number

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