Chain Bounding and the leanest proof of Zorn's lemma
From MaRDI portal
Publication:6531044
arXiv2404.11638MaRDI QIDQ6531044FDOQ6531044
Authors: Guillermo L. Incatasciato, Pedro Sánchez Terraf 
Has companion code repository: https://github.com/sterraf/chainbounding
Partial orders, general (06A06) Formalization of mathematics in connection with theorem provers (68V20) Axiom of choice and related propositions (03E25) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to mathematical logic and foundations (03-01)
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)
