:: Library Catalog

Imagen de Portada

Guardado en:

Detalles Bibliográficos
Autor principal:	Higgins, Cecelia
Formato:	Preprint
Publicado:	2024
Materias:	Logic Combinatorics
Acceso en línea:	https://arxiv.org/abs/2405.00991
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Complexity of Finite Borel Asymptotic Dimension
por: Grebík, Jan, et al.
Publicado: (2024)

Spectral Theory for Borel PMP Graphs
por: Higgins, Cecelia, et al.
Publicado: (2026)

Composition Direction of Seymour's Theorem for Regular Matroids -- Formally Verified
por: Dvorak, Martin, et al.
Publicado: (2025)

A weak variant of Hindman's Theorem stronger than Hilbert's Theorem
por: Carlucci, Lorenzo
Publicado: (2016)

Simple Models of Randomization and Preservation Theorems
por: Khanaki, Karim, et al.
Publicado: (2024)

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

Hall's Harem Theorem with controlled sizes of cycles
por: Duda, Karol
Publicado: (2025)

Advances in Algorithmic Meta Theorems
por: Siebertz, Sebastian, et al.
Publicado: (2024)

New bounds on the strength of some restrictions of Hindman's Theorem
por: Carlucci, Lorenzo, et al.
Publicado: (2017)

"Weak yet strong" restrictions of Hindman's Finite Sums Theorem
por: Carlucci, Lorenzo
Publicado: (2016)

Borel Vizing's Theorem for Graphs of Subexponential Growth
por: Bernshteyn, Anton, et al.
Publicado: (2023)

Courcelle's Theorem: A Self-Contained Proof and a Path-Width Variant
por: Rettich, Adrian
Publicado: (2024)

Measurable domatic partitions
por: Hou, Edward
Publicado: (2022)

Polynomials as terms and the Boolean Independence Theorem
por: Klazar, M.
Publicado: (2024)

Stabilizers, Measures and IP-sets
por: Martin-Pizarro, Amador, et al.
Publicado: (2019)

Partitioning Theorems for Sets of Semi-Pfaffian Sets, with Applications
por: Lotz, Martin, et al.
Publicado: (2024)

Infinite Cliques in Simple and Stable Graphs
por: Halevi, Yatir, et al.
Publicado: (2024)

A computable version of Hall's Harem Theorem and Geometric von Neumann Conjecture
por: Duda, Karol
Publicado: (2021)

Existential Positive Transductions of Sparse Graphs
por: Mählmann, Nikolas, et al.
Publicado: (2026)

Separability Properties of Monadically Dependent Graph Classes
por: Bonnet, Édouard, et al.
Publicado: (2025)

Stable functions and Følner's Theorem
por: Conant, Gabriel
Publicado: (2024)

The strength of Ramsey Theorem for coloring relatively large sets
por: Carlucci, Lorenzo, et al.
Publicado: (2012)

Flip-Breakability: A Combinatorial Dichotomy for Monadically Dependent Graph Classes
por: Dreier, Jan, et al.
Publicado: (2024)

On Planarity of Graphs in Homotopy Type Theory
por: Prieto-Cubides, Jonathan, et al.
Publicado: (2021)

Transductions of Graph Classes Admitting Product Structure
por: Hliněný, Petr, et al.
Publicado: (2025)

Indivisibility and uniform computational strength
por: Gill, Kenneth
Publicado: (2023)

Decomposing graphs into stable and ordered parts
por: Buffière, Hector, et al.
Publicado: (2025)

Monadic Second-Order Logic of Permutations
por: Jelínek, Vít, et al.
Publicado: (2025)

Decidability for Sturmian words
por: Hieronymi, Philipp, et al.
Publicado: (2021)

An Algorithmic Meta Theorem for Homomorphism Indistinguishability
por: Seppelt, Tim
Publicado: (2024)

Distinguishing Graphs by Counting Homomorphisms from Sparse Graphs
por: Neuen, Daniel, et al.
Publicado: (2026)

On Homomorphism Graphs
por: Brandt, Sebastian, et al.
Publicado: (2021)

A very sharp threshold for first order logic distinguishability of random graphs
por: Benjamini, Itai, et al.
Publicado: (2022)

Classification properties for some ternary structures
por: Miguel-Gómez, Alberto
Publicado: (2024)

Skelet #17 and the fifth Busy Beaver number
por: Xu, Chris
Publicado: (2024)

Growth of regular partitions 4: strong regularity and the pairs partition
por: Terry, C.
Publicado: (2024)

Foundations of iterated star maps and their use in combinatorics
por: Di Nasso, Mauro, et al.
Publicado: (2024)

Reductions of well-ordering principles to combinatorial theorems
por: Carlucci, Lorenzo, et al.
Publicado: (2024)

Undecidability of the elementary theory of Young--Fibonacci lattice
por: Evtushevsky, Vsevolod
Publicado: (2024)

A survey on big Ramsey structures
por: Hubička, Jan, et al.
Publicado: (2024)