Copertina

Reductions of well-ordering principles to combinatorial theorems

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Carlucci, Lorenzo, Mainardi, Leonardo, Zdanowski, Konrad
Natura:	Preprint
Pubblicazione:	2024
Soggetti:	Logic Combinatorics
Accesso online:	Acceder al recurso
Tags:	Aggiungi Tag Nessun Tag, puoi essere il primo ad aggiungerne!!

Documenti analoghi

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

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

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

Regressive versions of Hindman's Theorem
di: Carlucci, Lorenzo, et al.
Pubblicazione: (2022)

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

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

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

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

A note on Hindman-type theorems for uncountable cardinals
di: Carlucci, Lorenzo
Pubblicazione: (2017)

On the cartesian product of well-orderings
di: Vialard, Isa
Pubblicazione: (2022)

The adjacent Hindman's theorem for uncountable groups
di: Carlucci, Lorenzo, et al.
Pubblicazione: (2020)

Between proof construction and SAT-solving
di: Schubert, Aleksy, et al.
Pubblicazione: (2024)

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

Cantor-Schröder-Bernstein theorem for a class of countable linear orders
di: Srivastava, Suyash, et al.
Pubblicazione: (2024)

Omission of Intervals: Deducing covering properties of subsets of the real line from their combinatorial structure
di: Tsaban, Boaz
Pubblicazione: (2024)

Higher-order generalizations of stability and arithmetic regularity
di: Terry, C., et al.
Pubblicazione: (2021)

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

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

Tutte's theorem as an educational formalization project
di: Otte, Pim
Pubblicazione: (2025)

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

On first-order transductions of classes of graphs
di: Braunfeld, Samuel, et al.
Pubblicazione: (2022)

Characterizations of monadically dependent tree-ordered weakly sparse structures
di: Buffière, Hector, et al.
Pubblicazione: (2026)

Maximal independent sets, variants of chain/antichain principle and cofinal subsets without AC
di: Banerjee, Amitayu
Pubblicazione: (2020)

The unstable formula theorem revisited via algorithms
di: Malliaris, Maryanthe, et al.
Pubblicazione: (2022)

First order complexity of finite random structures
di: Demin, Danila, et al.
Pubblicazione: (2024)

Free sets, thin sets and rainbows for barriers
di: Carlucci, Lorenzo, et al.
Pubblicazione: (2026)

A footnote to the KPT theorem in structural Ramsey theory
di: Cameron, Peter J., et al.
Pubblicazione: (2025)

Approximations of the strict order property
di: Mutchnik, Scott
Pubblicazione: (2025)

Exponentiable linear orders need not be transitive
di: Mittal, Mihir, et al.
Pubblicazione: (2024)

Indivisibility and uniform computational strength
di: Gill, Kenneth
Pubblicazione: (2023)

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

Decidability for Sturmian words
di: Hieronymi, Philipp, et al.
Pubblicazione: (2021)

Elementary first-order model checking for sparse graphs
di: Gajarský, Jakub, et al.
Pubblicazione: (2024)

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

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

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

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

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

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

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