:: Library Catalog

Cover Image

Saved in:

Bibliographic Details
Main Authors:	Quintero, Guillermo Gamboa, Matamala, Martín, Peña, Juan Pablo
Format:	Preprint
Published:	2025
Subjects:	Combinatorics Logic 51G05, 03B30, 05C62
Online Access:	https://arxiv.org/abs/2509.11956
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

On the Model Theory of Open Incidence Structures: The Rank 2 Case
by: Paolini, Gianluca, et al.
Published: (2024)

On the axiomatics of projective and affine geometry in terms of line intersection
by: Havlicek, Hans, et al.
Published: (2013)

Relation Algebra Representations from Distance-Regular Graphs
by: Atkins, Eli
Published: (2026)

The reverse mathematics of Brooks' theorem
by: Marcone, Alberto, et al.
Published: (2026)

First-Order Axiom Systems $\mathscr{E}_{d}$ and $\mathscr{E}_{da}$ Extending Tarski's $\mathscr{E}_{2}$ with Distance and Angle Function Symbols for Quantitative Euclidean Geometry
by: Guo, Hongyu
Published: (2025)

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

The finite cohesiveness principle
by: Sun, Mengzhou
Published: (2025)

Measure doubling in unimodular locally compact groups and quotients
by: Kong, Zuxiang, et al.
Published: (2024)

Tukey morphisms between finite relations
by: Barton, Rhett, et al.
Published: (2023)

Rainbow Threshold Graphs
by: Ackerman, Nathanael, et al.
Published: (2025)

Oscillation stability by the Carlson-Simpson theorem
by: Bice, Tristan, et al.
Published: (2025)

The Generic Circular Triangle-Free Graph
by: Bodirsky, Manuel, et al.
Published: (2024)

Truth and collection
by: Wcisło, Bartosz
Published: (2024)

Classical determinate truth without induction
by: Wcisło, Bartosz
Published: (2024)

Intersecting sets in probability spaces and Shelah's classification
by: Chernikov, Artem, et al.
Published: (2024)

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

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

Logic families
by: Andréka, H., et al.
Published: (2023)

Embeddability of graphs and Weihrauch degrees
by: Cipriani, Vittorio, et al.
Published: (2023)

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

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

On the cartesian product of well-orderings
by: Vialard, Isa
Published: (2022)

The directed Oberwolfach problem with variable cycle lengths: a recursive construction
by: Kadri, Suzan, et al.
Published: (2023)

Decompositions of even hypercubes into cycles whose length is a power of two
by: Gibson, Samuel, et al.
Published: (2021)

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

Homogeneous isosceles-free spaces
by: Bargetz, Christian, et al.
Published: (2023)

On equitably 2-colourable odd cycle decompositions
by: Burgess, Andrea, et al.
Published: (2023)

Uniquely 2-colourable 4-cycle decompositions
by: Burgess, Andrea C., et al.
Published: (2026)

On the spouse-loving variant of the Oberwolfach problem
by: Bolohan, Noah, et al.
Published: (2024)

Polycyclic Geometric Realizations of the Gray Configuration
by: Berman, Leah Wrenn, et al.
Published: (2025)

Duality for Clans: an Extension of Gabriel-Ulmer Duality
by: Frey, Jonas
Published: (2023)

First Order Logic and Twin-Width in Tournaments and Dense Oriented Graphs
by: Geniet, Colin, et al.
Published: (2022)

Variations on Ramsey numbers and minimum numbers of monochromatic triangles in line $2$-colorings of configurations
by: Bishop, Jamie, et al.
Published: (2022)

Coherence for logicians
by: Petric, Zoran, et al.
Published: (2024)

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

Ramsey expansions of $Λ$-ultrametric spaces
by: Braunfeld, Samuel
Published: (2017)

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

The uniform Kruskal theorem over RCA$_0$
by: Uftring, Patrick
Published: (2025)

Globally Simple Heffter Arrays $H(n;k)$ with $k \equiv 1 \pmod{4}$
by: Pelttari, Erik, et al.
Published: (2026)

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