Provable better quasi orders

arXiv2305.01066MaRDI QIDQ6434968

Fedor N. Pakhomov, Anton Freund, Giovanni Soldà, Alberto Marcone

Publication date: 1 May 2023

Mathematics Subject Classification ID

Partial orders, general (06A06) Foundations of classical theories (including reverse mathematics) (03B30) Second- and higher-order arithmetic and fragments (03F35)

This page was built for publication: Provable better quasi orders