:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Buffard, Thomas, Levrel, Gabriel, Mayo, Sam
Format:	Preprint
Published:	2024
Subjects:	Logic
Online Access:	https://arxiv.org/abs/2401.09659
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

The Limits of Determinacy in Higher-Order Arithmetic
by: Aguilera, Juan Pablo, et al.
Published: (2024)

Borel fractional perfect matchings in quasi-transitive amenable graphs
by: Murray, Sam
Published: (2025)

Robust No-Arbitrage under Projective Determinacy
by: Boistard, Alexandre, et al.
Published: (2025)

The Axiom of Real Determinacy and the Axiom of Real Blackwell Determinacy
by: Ikegami, Daisuke, et al.
Published: (2025)

The Cofinal Strong Chang Conjecture from Models of Determinacy
by: Lagadec, Corentin
Published: (2026)

A Borel graphable equivalence relation with no Borel graphing of diameter two
by: Lutz, Patrick
Published: (2026)

Borel Families of Games
by: Kastner, Alexander, et al.
Published: (2024)

A model of the Axiom of Determinacy in which every set of reals is universally Baire
by: Larson, Paul B., et al.
Published: (2025)

Borel Order Dimension
by: Raghavan, Dilip, et al.
Published: (2024)

Borel line graphs
by: Anderson, James, et al.
Published: (2023)

Partitioning the real line into Borel sets
by: Brian, Will
Published: (2021)

Building Models of Determinacy from Below
by: Kasum, Obrad, et al.
Published: (2024)

Proofs that Modify Proofs, 1/2
by: Towsner, Henry
Published: (2025)

A Borel maximal cofinitary group
by: Horowitz, Haim, et al.
Published: (2016)

An order analysis of hyperfinite Borel equivalence relations
by: Gao, Su, et al.
Published: (2024)

Shelah's Main Gap and the generalized Borel-reducibility
by: Moreno, Miguel
Published: (2023)

Borel graphable equivalence relations
by: Arant, Tyler, et al.
Published: (2024)

Proofs as stateful programs: A first-order logic with abstract Hoare triples, and an interpretation into an imperative language
by: Powell, Thomas
Published: (2023)

Arena-Independent Finite-Memory Determinacy in Stochastic Games
by: Bouyer, Patricia, et al.
Published: (2021)

Borel complexity of the set of typical numbers
by: Tomaszewski, Jakub
Published: (2022)

Characterizing Borel Isomorphism Among Some Weakly Minimal Trivial Theories
by: Ulrich, Danielle
Published: (2024)

No Countable Basis for Borel Directed Graphs of Dichromatic Number at Least Three
by: Matos-Wiederhold, Tonatiuh
Published: (2026)

Proofs that Modify Proofs
by: Towsner, Henry
Published: (2024)

Borel Complexity and the Schröder-Bernstein Property
by: Ulrich, Danielle
Published: (2018)

Decomposition of Borel graphs and cohomology
by: Ishikura, Hiroki
Published: (2025)

Borel selection of dominating hyperplanes
by: Clerico, Eugenio
Published: (2026)

Proof Theory for Bimodal Provability Logics
by: Miranda, Borja Sierra, et al.
Published: (2026)

MSO logic of the real order with the set quantifiers ranging over the Borel sets
by: Džamonja, Mirna
Published: (2025)

The Proof Analysis Problem
by: Arteche, Noel, et al.
Published: (2025)

Uniform Borel Amenability
by: Elek, Gábor, et al.
Published: (2024)

Borel distinguishing number
by: Bilge, Onur, et al.
Published: (2025)

Borel Edge Colorings for Finite Dimensional Groups
by: Weilacher, Felix
Published: (2021)

Streamliners for Answer Set Programming
by: Voboril, Florentina, et al.
Published: (2026)

Proof-theoretic Semantics for First-order Logic
by: Gheorghiu, Alexander V.
Published: (2024)

Proof-theoretic Semantics for Second-order Logic
by: Gheorghiu, Alexander V., et al.
Published: (2025)

Proof-theoretic Semantics for the Logic of Bunched Implications
by: Gu, Tao, et al.
Published: (2023)

Cyclic Proofs for iGL via Corecursion
by: Miranda, Borja Sierra
Published: (2023)

Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic
by: Afshari, Bahareh, et al.
Published: (2024)

An Introduction to Categorical Proof Theory
by: Tabatabai, Amirhossein Akbar
Published: (2024)

Proof Complexity of Linear Logics
by: Tabatabai, Amirhossein Akbar, et al.
Published: (2026)