Well-partial-orderings and the big Veblen number

DOI10.1007/S00153-014-0408-5zbMATH Open1378.03041OpenAlexW1988230691WikidataQ59898616 ScholiaQ59898616MaRDI QIDQ2257112FDOQ2257112

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

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

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)

Cites Work

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

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
• Well partial orders
• From Kruskal’s theorem to Friedman’s gap condition
• Title not available (Why is that?)
• 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)