Chain Bounding, the leanest proof of Zorn's lemma, and an illustration of computerized proof formalization

Documenti analoghi

• An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
  di: Coquand, Thierry, et al.
  Pubblicazione: (2017)
• Bourbaki--Zorn Normal Forms for Maximality Arguments
  di: Liu, You-Chang
  Pubblicazione: (2026)
• Anatomy of a Formal Proof
  di: Avigad, Jeremy, et al.
  Pubblicazione: (2024)
• Artifical intelligence and inherent mathematical difficulty
  di: Dean, Walter, et al.
  Pubblicazione: (2024)
• A Simple and Elementary Proof of Zorn's Lemma
  di: Nuida, Koji
  Pubblicazione: (2023)