The logical strength of minimal bad arrays

From MaRDI portal

Publication:6431680

Jump to:navigation, search

arXiv2304.00278MaRDI QIDQ6431680

Fedor N. Pakhomov, Giovanni Soldà, Anton Freund

Publication date: 1 April 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: The logical strength of minimal bad arrays

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:6431680&oldid=36110254"