Image de couverture de livre

The reverse mathematics of the pigeonhole hierarchy

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Houérou, Quentin Le, Patey, Ludovic Levy, Mimouni, Ahmed
Format:	Preprint
Publié:	2024
Sujets:	Logic Logic in Computer Science 03B30, 03F30, 05D10, 03D80 F.4.1
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

The reverse mathematics of bounded Ramsey's theorem for pairs
par: Houérou, Quentin Le, et autres
Publié: (2025)

$Π^0_4$ conservation of the Ordered Variable Word theorem
par: Houérou, Quentin Le, et autres
Publié: (2024)

$Π^0_4$ conservation of Ramsey's theorem for pairs
par: Houérou, Quentin Le, et autres
Publié: (2024)

Ramsey-like theorems for separable permutations
par: Houérou, Quentin Le, et autres
Publié: (2025)

Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$
par: Houérou, Quentin Le, et autres
Publié: (2026)

Bounded Ramsey's theorem for triples in computability theory
par: Patey, Ludovic, et autres
Publié: (2026)

Dilators and the reverse mathematics zoo
par: Freund, Anton
Publié: (2024)

Ramsey-like theorems for the Schreier barrier
par: Carlucci, Lorenzo, et autres
Publié: (2024)

Open questions about Ramsey-type statements in reverse mathematics
par: Patey, Ludovic
Publié: (2015)

Weihrauch problems as containers
par: Pradic, Cécilia, et autres
Publié: (2025)

The finite cohesiveness principle
par: Sun, Mengzhou
Publié: (2025)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
par: Vodrazka, Daniel
Publié: (2025)

An order-reversing embedding of Turing degrees into Arthur-Nimue-Merlin degrees
par: Samra, Jean Abou, et autres
Publié: (2026)

The tree pigeonhole principle in the Weihrauch degrees
par: Dzhafarov, Damir, et autres
Publié: (2023)

A Logspace Constructive Proof of L=SL
par: Buss, Sam, et autres
Publié: (2025)

Loops, Inverse Limits and Non-Determinism
par: Brattka, Vasco
Publié: (2025)

Adversarial Barrier in Uniform Class Separation
par: Rosko, Milan
Publié: (2025)

A non-speedup result for the chain-antichain principle over a weak base theory
par: Kowalik, Katarzyna W.
Publié: (2025)

More conservativity for weak Kőnig's lemma
par: Freund, Anton, et autres
Publié: (2024)

Forcing as a Local Method of Accessing Small Extensions
par: Lau, Desmond
Publié: (2024)

The strength of Ramsey's theorem for $α$-large sets
par: Carlucci, Lorenzo, et autres
Publié: (2026)

Effective inseparability and some applications in meta-mathematics
par: Cheng, Yong
Publié: (2022)

Gödel coding on fibrations and geminal categories
par: Ikeda, Yuto
Publié: (2026)

Partition theorems for Ketonen-Solovay largeness
par: Houérou, Quentin Le, et autres
Publié: (2026)

On the relationships between some meta-mathematical properties of arithmetical theories
par: Cheng, Yong
Publié: (2023)

Computability of the Hahn-Banach Theorem Revisited
par: Brattka, Vasco, et autres
Publié: (2026)

On the computational properties of ambivalent sets and functions
par: Normann, Dag, et autres
Publié: (2026)

Linear Orders in Presburger Arithmetic
par: Pakhomov, Fedor, et autres
Publié: (2022)

Undecidability in Relevant Logic
par: Knudstorp, Søren Brinck
Publié: (2026)

The equational theory of the Weihrauch lattice with (iterated) composition
par: Pradic, Cécilia
Publié: (2024)

Sheaves as oracle computations
par: Ahman, Danel, et autres
Publié: (2026)

Effective bases and notions of effective second countability in computable analysis
par: Brattka, Vasco, et autres
Publié: (2025)

Axiom Beta Implies Elementary Transfinite Recursion
par: Frittaion, Emanuele, et autres
Publié: (2026)

Exploring the abyss in Kleene's computability theory
par: Sanders, Sam
Publié: (2023)

On some computational properties of open sets
par: Normann, Dag, et autres
Publié: (2024)

Remarks on Primitive Regulation
par: Rosko, Milan
Publié: (2026)

Consistent ultrafinitist logic
par: Gajda, Michał J.
Publié: (2021)

Predicative Ordinal Recursion on the Constructive Veblen Hierarchy
par: Tabatabai, Amirhossein Akbar, et autres
Publié: (2025)

Serial Properties, Selector Proofs, and the Provability of Consistency
par: Artemov, Sergei
Publié: (2024)

Non-Compact Proofs
par: Artemov, Sergei
Publié: (2025)