Ramsey-like theorems for separable permutations
Fuente:
arXiv
Salvato in:
| Autori principali: | Houérou, Quentin Le, Patey, Ludovic |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2025
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi
The reverse mathematics of bounded Ramsey's theorem for pairs
di: Houérou, Quentin Le, et al.
Pubblicazione: (2025)
di: Houérou, Quentin Le, et al.
Pubblicazione: (2025)
$Π^0_4$ conservation of Ramsey's theorem for pairs
di: Houérou, Quentin Le, et al.
Pubblicazione: (2024)
di: Houérou, Quentin Le, et al.
Pubblicazione: (2024)
Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
di: Houérou, Quentin Le, et al.
Pubblicazione: (2026)
di: Houérou, Quentin Le, et al.
Pubblicazione: (2026)
$Π^0_4$ conservation of the Ordered Variable Word theorem
di: Houérou, Quentin Le, et al.
Pubblicazione: (2024)
di: Houérou, Quentin Le, et al.
Pubblicazione: (2024)
Ramsey-like theorems for the Schreier barrier
di: Carlucci, Lorenzo, et al.
Pubblicazione: (2024)
di: Carlucci, Lorenzo, et al.
Pubblicazione: (2024)
The reverse mathematics of the pigeonhole hierarchy
di: Houérou, Quentin Le, et al.
Pubblicazione: (2024)
di: Houérou, Quentin Le, et al.
Pubblicazione: (2024)
The adjacent Hindman's theorem and the $\mathbb Z$-Ramsey's theorem
di: Aceves-Martínez, Bruno Fernando, et al.
Pubblicazione: (2024)
di: Aceves-Martínez, Bruno Fernando, et al.
Pubblicazione: (2024)
Partition theorems for Ketonen-Solovay largeness
di: Houérou, Quentin Le, et al.
Pubblicazione: (2026)
di: Houérou, Quentin Le, et al.
Pubblicazione: (2026)
Bounded Ramsey's theorem for triples in computability theory
di: Patey, Ludovic, et al.
Pubblicazione: (2026)
di: Patey, Ludovic, et al.
Pubblicazione: (2026)
The strength of Ramsey's theorem for $α$-large sets
di: Carlucci, Lorenzo, et al.
Pubblicazione: (2026)
di: Carlucci, Lorenzo, et al.
Pubblicazione: (2026)
The cohesive and stable Ramsey theorems and proof size over a weak base theory
di: Kołodziejczyk, Leszek Aleksander, et al.
Pubblicazione: (2026)
di: Kołodziejczyk, Leszek Aleksander, et al.
Pubblicazione: (2026)
Axiom Beta Implies Elementary Transfinite Recursion
di: Frittaion, Emanuele, et al.
Pubblicazione: (2026)
di: Frittaion, Emanuele, et al.
Pubblicazione: (2026)
Solovay reducibility implies S2a-reducibility
di: Titov, Ivan
Pubblicazione: (2024)
di: Titov, Ivan
Pubblicazione: (2024)
A total Solovay reducibility and totalizing of the notion of speedability
di: Merkle, Wolfgang, et al.
Pubblicazione: (2024)
di: Merkle, Wolfgang, et al.
Pubblicazione: (2024)
The Weihrauch lattice at the level of $\boldsymbolΠ_1^1\mathsf{-CA}_0$: the Cantor-Bendixson theorem
di: Cipriani, Vittorio, et al.
Pubblicazione: (2022)
di: Cipriani, Vittorio, et al.
Pubblicazione: (2022)
Open questions about Ramsey-type statements in reverse mathematics
di: Patey, Ludovic
Pubblicazione: (2015)
di: Patey, Ludovic
Pubblicazione: (2015)
Ramsey-like theorems and immunities
di: Mimouni, Ahmed, et al.
Pubblicazione: (2025)
di: Mimouni, Ahmed, et al.
Pubblicazione: (2025)
The finite cohesiveness principle
di: Sun, Mengzhou
Pubblicazione: (2025)
di: Sun, Mengzhou
Pubblicazione: (2025)
(Extra)ordinary equivalences with the ascending/descending sequence principle
di: Fiori-Carones, Marta, et al.
Pubblicazione: (2021)
di: Fiori-Carones, Marta, et al.
Pubblicazione: (2021)
Dilators and the reverse mathematics zoo
di: Freund, Anton
Pubblicazione: (2024)
di: Freund, Anton
Pubblicazione: (2024)
Iterated jump noncomputability and compactness
di: Dooley, Gavin
Pubblicazione: (2025)
di: Dooley, Gavin
Pubblicazione: (2025)
Extending the Limit Theorem of Barmpalias and Lewis-Pye to all reals
di: Titov, Ivan
Pubblicazione: (2024)
di: Titov, Ivan
Pubblicazione: (2024)
A non-speedup result for the chain-antichain principle over a weak base theory
di: Kowalik, Katarzyna W.
Pubblicazione: (2025)
di: Kowalik, Katarzyna W.
Pubblicazione: (2025)
Variants of Solovay reducibility
di: Titov, Ivan
Pubblicazione: (2024)
di: Titov, Ivan
Pubblicazione: (2024)
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)
di: Carlucci, Lorenzo, et al.
Pubblicazione: (2025)
Contrasting the Halves of an Ahmad Pair
di: Ravishankar, Karthik
Pubblicazione: (2025)
di: Ravishankar, Karthik
Pubblicazione: (2025)
Chains and antichains in the Weihrauch lattice
di: Lempp, Steffen, et al.
Pubblicazione: (2024)
di: Lempp, Steffen, et al.
Pubblicazione: (2024)
A $Π^0_2$ Singleton of Minimal Arithmetic Degree
di: Gerdes, Peter
Pubblicazione: (2023)
di: Gerdes, Peter
Pubblicazione: (2023)
Introenumerability, autoreducibility, and randomness
di: Li, Ang
Pubblicazione: (2024)
di: Li, Ang
Pubblicazione: (2024)
$m$-Rigidity and Finite-One Degrees Inside Typical Many-One Degrees
di: Cintioli, Patrizio
Pubblicazione: (2026)
di: Cintioli, Patrizio
Pubblicazione: (2026)
Parametrizing the Ramsey theory of vector spaces I: Discrete spaces
di: Smythe, Iian B.
Pubblicazione: (2021)
di: Smythe, Iian B.
Pubblicazione: (2021)
Ramsey's coheirs
di: Colla, Eugenio, et al.
Pubblicazione: (2019)
di: Colla, Eugenio, et al.
Pubblicazione: (2019)
On the Hausdorff dimension of maximal chains and antichains of Turing and Hyperarithmetic degrees
di: Song, Sirun, et al.
Pubblicazione: (2025)
di: Song, Sirun, et al.
Pubblicazione: (2025)
The Tree Pulldown Method: McLaughlin's Conjecture and Beyond
di: Harrington, Leo A., et al.
Pubblicazione: (2025)
di: Harrington, Leo A., et al.
Pubblicazione: (2025)
The barrier Ramsey theorem
di: Marcone, Alberto, et al.
Pubblicazione: (2025)
di: Marcone, Alberto, et al.
Pubblicazione: (2025)
Regainingly approximable numbers and sets
di: Hertling, Peter, et al.
Pubblicazione: (2023)
di: Hertling, Peter, et al.
Pubblicazione: (2023)
The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
di: Vodrazka, Daniel
Pubblicazione: (2025)
di: Vodrazka, Daniel
Pubblicazione: (2025)
The Galvin-Prikry Theorem in the Weihrauch lattice
di: Marcone, Alberto, et al.
Pubblicazione: (2024)
di: Marcone, Alberto, et al.
Pubblicazione: (2024)
Forcing as a Local Method of Accessing Small Extensions
di: Lau, Desmond
Pubblicazione: (2024)
di: Lau, Desmond
Pubblicazione: (2024)
A Ramsey theorem for the reals
di: Inamdar, Tanmay
Pubblicazione: (2024)
di: Inamdar, Tanmay
Pubblicazione: (2024)
Documenti analoghi
-
The reverse mathematics of bounded Ramsey's theorem for pairs
di: Houérou, Quentin Le, et al.
Pubblicazione: (2025) -
$Π^0_4$ conservation of Ramsey's theorem for pairs
di: Houérou, Quentin Le, et al.
Pubblicazione: (2024) -
Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
di: Houérou, Quentin Le, et al.
Pubblicazione: (2026) -
$Π^0_4$ conservation of the Ordered Variable Word theorem
di: Houérou, Quentin Le, et al.
Pubblicazione: (2024) -
Ramsey-like theorems for the Schreier barrier
di: Carlucci, Lorenzo, et al.
Pubblicazione: (2024)