Well quasi orders in a categorical setting

DOI10.1007/s00153-018-0649-9zbMath1477.06010OpenAlexW2898523816MaRDI QIDQ1734279

Marco Benini, Roberta Bonacina

Publication date: 27 March 2019

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

Full work available at URL: https://doi.org/10.1007/s00153-018-0649-9

zbMATH Keywords

exponentiationpreorder categorieswell founded quasi orderwell-quasi order

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Algebraic aspects of posets (06A11) Preorders, orders, domains and lattices (viewed as categories) (18B35) Generalizations of ordered sets (06A75)

Cites Work

• What's so special about Kruskal's theorem and the ordinal \(\Gamma{}_ 0\)? A survey of some results in proof theory
• The theory of well-quasi-ordering: a frequently discovered concept
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item