Higman's lemma is stronger for better quasi orders

DOI10.1007/s11083-024-09658-wMaRDI QIDQ6663926

Anton Freund

Publication date: 15 January 2025

Published in: Order (Search for Journal in Brave)

zbMATH Keywords

reverse mathematicsRamsey's theoremNash-Williams' theoremHigman's lemmabetter quasi order

Mathematics Subject Classification ID

Combinatorics of partially ordered sets (06A07) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35) Recursive ordinals and ordinal notations (03F15)

This page was built for publication: Higman's lemma is stronger for better quasi orders