Copertina

A formalization of Borel determinacy in Lean

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autore principale:	Manthe, Sven
Natura:	Preprint
Pubblicazione:	2025
Soggetti:	Logic 68V20, 03E60 F.4.1
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

Chain Bounding, the leanest proof of Zorn's lemma, and an illustration of computerized proof formalization
di: Incatasciato, Guillermo L., et al.
Pubblicazione: (2024)

Monoid Theory in Alonzo: A Little Theories Formalization in Simple Type Theory
di: Farmer, William M., et al.
Pubblicazione: (2023)

Formally Verifying a Transformation from MLTL Formulas to Regular Expressions
di: Wang, Zili, et al.
Pubblicazione: (2025)

Formalizing MLTL Formula Progression in Isabelle/HOL
di: Kosaian, Katherine, et al.
Pubblicazione: (2024)

Mechanised uniform interpolation for modal logics K, GL, and iSL
di: Férée, Hugo, et al.
Pubblicazione: (2024)

A Modular First Formalisation of Combinatorial Design Theory
di: Edmonds, Chelsea, et al.
Pubblicazione: (2021)

A proof complexity conjecture and the Incompleteness theorem
di: Krajicek, Jan
Pubblicazione: (2023)

A declarative approach to specifying distributed algorithms using three-valued modal logic
di: Gabbay, Murdoch J., et al.
Pubblicazione: (2025)

Fractal Analysis on the Real Interval: A Constructive Approach via Fractal Countability
di: Semenov, Stanislav
Pubblicazione: (2025)

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

A Qualitative Analysis of Kernel Extension for Higher Order Proof Checking
di: Wang, Shuai
Pubblicazione: (2024)

Remarks on Primitive Regulation
di: Rosko, Milan
Pubblicazione: (2026)

A vector logic for extensional formal semantics
di: Quigley, Daniel
Pubblicazione: (2024)

Classification of Covering Spaces and Canonical Change of Basepoint
di: Wemmenhove, Jelle, et al.
Pubblicazione: (2024)

Effective bases and notions of effective second countability in computable analysis
di: Brattka, Vasco, et al.
Pubblicazione: (2025)

Algorithm and abstraction in formal mathematics
di: Macbeth, Heather
Pubblicazione: (2024)

Extended Nullstellensatz proof systems
di: Krajicek, Jan
Pubblicazione: (2023)

A Formally Verified Library of Mathematical Finance in Lean 4
di: Coelho, Raphael
Pubblicazione: (2026)

A classification of bisimilarities for general Markov decision processes
di: Moroni, Martín Santiago, et al.
Pubblicazione: (2024)

On the existence of strong proof complexity generators
di: Krajicek, Jan
Pubblicazione: (2022)

Reasoning Around Paradox with Grounded Deduction
di: Ford, Bryan
Pubblicazione: (2024)

A Guide to Krivine Realizability for Set Theory
di: Matthews, Richard
Pubblicazione: (2023)

The complexity of bisimilarity on pointmass processes
di: Moroni, Martín Santiago, et al.
Pubblicazione: (2026)

The Category Dichotomy for Ideals
di: Dow, Alan, et al.
Pubblicazione: (2025)

Proof complexity of universal algebra in a CSP dichotomy proof
di: Gaysin, Azza
Pubblicazione: (2024)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
di: Tabatabai, Amirhossein Akbar, et al.
Pubblicazione: (2025)

Learning Families of Algebraic Structures from Text
di: Bazhenov, Nikolay, et al.
Pubblicazione: (2024)

Exploring the abyss in Kleene's computability theory
di: Sanders, Sam
Pubblicazione: (2023)

Verified Program Extraction in Number Theory: The Fundamental Theorem of Arithmetic and Relatives
di: Wiesnet, Franziskus
Pubblicazione: (2025)

Formal Probabilistic Methods for Combinatorial Structures using the Lovász Local Lemma
di: Edmonds, Chelsea, et al.
Pubblicazione: (2023)

Arithmetics within the Linear Time Hierarchy
di: Pollett, Chris
Pubblicazione: (2025)

Rough sets semantics for the three-valued extension of first-order Priest's da Costa logic
di: Castiglioni, José Luis, et al.
Pubblicazione: (2025)

Adversarial Barrier in Uniform Class Separation
di: Rosko, Milan
Pubblicazione: (2025)

A Logspace Constructive Proof of L=SL
di: Buss, Sam, et al.
Pubblicazione: (2025)

A model with fragments of projective determinacy and failures of $\mathsf{DC}$
di: Müller, Sandra, et al.
Pubblicazione: (2025)

Complexity Results in Team Semantics: Nonemptiness Is Not So Complex
di: Anttila, Aleksi, et al.
Pubblicazione: (2025)

Two strong undefinability results in inquisitive and team semantics
di: Barbero, Fausto
Pubblicazione: (2024)

First-Order Fischer Servi Logic
di: Christensen, Ahmee
Pubblicazione: (2024)

Universal Algebra in UniMath
di: Amato, Gianluca, et al.
Pubblicazione: (2021)

Derandomization with Pseudorandomness
di: Karayel, Emin
Pubblicazione: (2024)