Well-ordering principles over recursive comprehension

MaRDI QIDQ7407148arXivFDO

Authors Gabriele Buriola, Giacomo Cozzi, Antonia Dammrau, Anton Freund

Publication date 2026

Published in arXiv

arXiv classification

math.LO

This page was built for publication: Well-ordering principles over recursive comprehension

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7407148)