Image de couverture de livre

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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Incatasciato, Guillermo L., Terraf, Pedro Sánchez
Format:	Preprint
Publié:	2024
Sujets:	Logic History and Overview 06A06, 03E25, 68V20, 03-01 F.4.1; I.2.3
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

An introduction to Lorenzen's "Algebraic and logistic investigations on free lattices" (1951)
par: Coquand, Thierry, et autres
Publié: (2017)

Bourbaki--Zorn Normal Forms for Maximality Arguments
par: Liu, You-Chang
Publié: (2026)

Anatomy of a Formal Proof
par: Avigad, Jeremy, et autres
Publié: (2024)

Artifical intelligence and inherent mathematical difficulty
par: Dean, Walter, et autres
Publié: (2024)

A Simple and Elementary Proof of Zorn's Lemma
par: Nuida, Koji
Publié: (2023)

Varieties generated by completions
par: Andréka, H., et autres
Publié: (2018)

Secrets and Quantifiers
par: Bajnok, Bela, et autres
Publié: (2024)

Algorithm and abstraction in formal mathematics
par: Macbeth, Heather
Publié: (2024)

Nelson's Logical Diagrams
par: Aberdein, Andrew
Publié: (2023)

Knocking Down Boxes: The FMP for $\mathbf{K} \oplus \Box^{m+k} p \to \Box^m p$
par: Knudstorp, Søren Brinck
Publié: (2025)

A Discussion of Arnold's Limit Problem and its Geometric Argument
par: Honn, Keising
Publié: (2024)

Mechanised uniform interpolation for modal logics K, GL, and iSL
par: Férée, Hugo, et autres
Publié: (2024)

The history of three wrong definitions
par: Boas, Harold P.
Publié: (2026)

The story of geometry told by coins
par: Fukś, Henryk
Publié: (2025)

Preconditionals
par: Holliday, Wesley H.
Publié: (2024)

Sufficient conditions for local tabularity of a polymodal logic
par: Shapirovsky, Ilya B.
Publié: (2022)

Linear Orders in Presburger Arithmetic
par: Pakhomov, Fedor, et autres
Publié: (2022)

Guises and Perspectives: An Intentional and Hyperintensional Sketch
par: Colomina-Alminana, Juan J.
Publié: (2026)

Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
par: Holliday, Wesley H.
Publié: (2022)

Universal Algebra in UniMath
par: Amato, Gianluca, et autres
Publié: (2021)

On distance logics of Euclidean spaces
par: Agnew, Gabriel, et autres
Publié: (2025)

On algebraic and topological semantics of the modal logic of common knowledge S4CI
par: Shamkanov, Daniyar
Publié: (2021)

An Alternative Approach to Formal Mathematics that Focuses on Communication and Accessibility
par: Farmer, William M.
Publié: (2026)

Possibility Semantics
par: Holliday, Wesley H.
Publié: (2024)

Locally tabular products of modal logics
par: Shapirovsky, Ilya B., et autres
Publié: (2024)

Functional monadic ortholattices and locally finite $σ$-free polyadic ortholattices
par: Lin, Chun-Yu, et autres
Publié: (2025)

Meaning as Use, Application, Employment, Purpose, Usefulness
par: de Queiroz, Ruy J. G. B.
Publié: (2025)

From the Notebooks to the Investigations and Beyond
par: de Queiroz, Ruy J. G. B.
Publié: (2025)

Modern Definition and Ancient Definition
par: Protin, Clarence
Publié: (2022)

Aristotle's Second-Order Logic and Natural Deduction
par: Protin, Clarence
Publié: (2023)

A formalization of Borel determinacy in Lean
par: Manthe, Sven
Publié: (2025)

Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive
par: Mancosu, Paolo, et autres
Publié: (2023)

Alice Ambrose on Logic, A Priori Concepts, and the Epistemology of Convention
par: Colomina-Alminana, Juan J.
Publié: (2026)

A novel axiomatic approach to L-valued rough sets within an L-universe via inner product and outer product of L-subsets
par: Li, Lingqiang, et autres
Publié: (2024)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
par: Farmer, William M., et autres
Publié: (2023)

Quantales carrying ortholattice structure
par: Botur, Michal, et autres
Publié: (2026)

Dense Chains, Antichains, and Universal Partial Orders Inside a Bounded Finite-One Degree
par: Cintioli, Patrizio
Publié: (2026)

Higher-Order Pattern Unification Modulo Similarity Relations
par: Dundua, Besik, et autres
Publié: (2025)

Mathematical Proof
par: Bauschke, Heinz H.
Publié: (2026)

Faith Believes, Hope Expects: The Impact of Calvin's Theology on the Mathematics of Chance
par: Johnson, Timothy C.
Publié: (2024)