Cover Image

Hall's Harem Theorem with controlled sizes of cycles

Fuente: arXiv

Saved in:

Bibliographic Details
Main Author:	Duda, Karol
Format:	Preprint
Published:	2025
Subjects:	Combinatorics Logic
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

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

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

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

Measurable Brooks's Theorem for Directed Graphs
by: Higgins, Cecelia
Published: (2024)

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

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

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

Advances in Algorithmic Meta Theorems
by: Siebertz, Sebastian, et al.
Published: (2024)

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

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

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

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

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

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

Computable Folner sequences of amenable groups
by: Duda, Karol, et al.
Published: (2025)

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

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

Indivisibility and uniform computational strength
by: Gill, Kenneth
Published: (2023)

Decidability for Sturmian words
by: Hieronymi, Philipp, et al.
Published: (2021)

Local and global $d$-rigidity are not definable in the first order logic of graphs
by: Bernstein, Daniel Irving, et al.
Published: (2025)

The structure of subsets of $\mathbb{F}_p^n$ of bounded $\mathrm{VC}_2$-dimension
by: Terry, C., et al.
Published: (2025)

On the linear complexity of subsets of $\mathbb{F}_p^n$ bounded $\textrm{VC}_2$-dimension
by: Sheats, Hannah, et al.
Published: (2025)

Stationary list colorings
by: Hayashi, Yusuke
Published: (2025)

Labelled growth rates of $ω$-categorical structures and applications in choiceless set theory
by: Bodor, Bertalan, et al.
Published: (2025)

On BPI in Symmetric Extensions Part 1
by: Ransom, Brian
Published: (2025)

The ineffectiveness of the regularity lemma for bounded degree graphs
by: Lyons, Clark, et al.
Published: (2025)

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

Colors of the Pseudotree
by: Chodounský, David, et al.
Published: (2025)

Solving infinitary Rubik's cubes
by: Tisdell, Jack Edward
Published: (2025)

Hanf numbers for poset games
by: Herrera, Fabián Rivero
Published: (2025)

Notes on Laver Tables
by: Qi, Renrui
Published: (2025)

Enumeration of Finite Distance Monoids
by: Luo, Yunjie, et al.
Published: (2025)

Dependence of functions on their variables
by: Farah, Ilijas
Published: (2025)

Non-expansion in polynomial automorphisms of $\mathbb{C}^2$
by: Bays, Martin, et al.
Published: (2025)

Modeling FO-limits for monadically stable sequences
by: Braunfeld, S., et al.
Published: (2025)

On the quadratic complexity of subsets of $\mathbb{F}_p^n$ of bounded $\mathrm{VC_{2}}$-dimension
by: Terry, C., et al.
Published: (2025)

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

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

A Concise Proof of the $L_0$ Dichotomy
by: Matos-Wiederhold, Tonatiuh
Published: (2026)

Big Ramsey combinatorics of the Cantor set and a simple proof of Blass' perfect set theorem
by: Mašulović, Dragan
Published: (2026)