Imagen de Portada

The reverse mathematics of Brooks' theorem

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Marcone, Alberto, Osso, Gian Marco
Formato:	Preprint
Publicado:	2026
Materias:	Logic Combinatorics 03B30, 05C15
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

The Galvin-Prikry Theorem in the Weihrauch lattice
por: Marcone, Alberto, et al.
Publicado: (2024)

The strength of Ramsey's theorem for $α$-large sets
por: Carlucci, Lorenzo, et al.
Publicado: (2026)

The barrier Ramsey theorem
por: Marcone, Alberto, et al.
Publicado: (2025)

Dilators and the reverse mathematics zoo
por: Freund, Anton
Publicado: (2024)

Reverse mathematics of a uniform Kruskal-Friedman theorem
por: Freund, Anton
Publicado: (2021)

Brooks' type theorems for coloring parameters of locally finite graphs and Konig's Lemma
por: Banerjee, Amitayu, et al.
Publicado: (2024)

The reverse mathematics of bounded Ramsey's theorem for pairs
por: Houérou, Quentin Le, et al.
Publicado: (2025)

Relation Algebra Representations from Distance-Regular Graphs
por: Atkins, Eli
Publicado: (2026)

The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem
por: Cipriani, Vittorio, et al.
Publicado: (2022)

Weihrauch reducibility between Ramsey-type theorems and well-ordering principles at the level of $Σ^0_2$-induction: A pilot study
por: Carlucci, Lorenzo, et al.
Publicado: (2025)

Ramsey-like theorems for the Schreier barrier
por: Carlucci, Lorenzo, et al.
Publicado: (2024)

A characterization of locally ordered ternary relations in terms of digraphs
por: Quintero, Guillermo Gamboa, et al.
Publicado: (2025)

The reverse mathematics of the pigeonhole hierarchy
por: Houérou, Quentin Le, et al.
Publicado: (2024)

Ramsey expansions of $Λ$-ultrametric spaces
por: Braunfeld, Samuel
Publicado: (2017)

LCLs in the Borel Hierarchy
por: Weilacher, Felix
Publicado: (2026)

Ramsey-like theorems for separable permutations
por: Houérou, Quentin Le, et al.
Publicado: (2025)

Borel Homomorphisms from Forests to Kneser Graphs
por: Weilacher, Felix
Publicado: (2026)

A minimalist two-level foundation for constructive mathematics
por: Maietti, Maria Emilia
Publicado: (2008)

Convex Embeddability and Knot Theory
por: Iannella, Martina, et al.
Publicado: (2023)

Irregular triads in 3-uniform hypergraphs
por: Terry, C., et al.
Publicado: (2021)

Measurable Regular Subgraphs
por: Bowen, Matt, et al.
Publicado: (2024)

More on the indivisibility of $\mathbb{Q}$
por: Pauly, Arno
Publicado: (2024)

Indivisibility for Classes of Graphs
por: Guingona, Vince, et al.
Publicado: (2023)

Arrow's theorem, ultrafilters, and reverse mathematics
por: Eastaugh, Benedict
Publicado: (2023)

The tree pigeonhole principle in the Weihrauch degrees
por: Dzhafarov, Damir, et al.
Publicado: (2023)

The uniform Kruskal theorem over RCA$_0$
por: Uftring, Patrick
Publicado: (2025)

Computable vs Descriptive Combinatorics of Local Problems on Trees
por: Weilacher, Felix
Publicado: (2022)

Generalized Schatunowsky theorem in a weak arithmetic
por: King, Hala, et al.
Publicado: (2025)

Stability, corners, and other 2-dimensional shapes
por: Martin-Pizarro, Amador, et al.
Publicado: (2022)

Logic families
por: Andréka, H., et al.
Publicado: (2023)

The measurable Hall theorem fails for treeings
por: Kun, Gábor
Publicado: (2021)

List chromatic numbers and singular compactness
por: Garti, Shimon
Publicado: (2021)

Complete type amalgamation for non-standard finite groups
por: Martin-Pizarro, Amador, et al.
Publicado: (2020)

Borel Polychromatic Number of Grids
por: Berlow, Katalin, et al.
Publicado: (2025)

Feferman's completeness theorem
por: Pakhomov, Fedor, et al.
Publicado: (2024)

Partition theorems for Ketonen-Solovay largeness
por: Houérou, Quentin Le, et al.
Publicado: (2026)

Big Ramsey degrees and the two-branching pseudotree
por: Chodounský, David, et al.
Publicado: (2025)

Proof-Theoretic Relations between Higman's and Kruskal's theorem, and Independence Results for Tree-like Structures
por: Buriola, Gabriele, et al.
Publicado: (2025)

Piecewise convex embeddability on linear orders
por: Iannella, Martina, et al.
Publicado: (2023)

The externally definable Ramsey property and fixed points on type spaces
por: Meir, Nadav, et al.
Publicado: (2023)