Chain Bounding and the leanest proof of Zorn's lemma

arXiv2404.11638MaRDI QIDQ6531044

Author name not available (Why is that?)

Has companion code repository: https://github.com/sterraf/chainbounding

Mathematics Subject Classification ID

No records found.

This page was built for publication: Chain Bounding and the leanest proof of Zorn's lemma

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