Copertina

Largeness notions and polytime translation for $\forall Σ^0_3$-consequences of $\mathsf{RT}^2_2$

Fuente: arXiv

Salvato in:

Dettagli Bibliografici
Autori principali:	Houérou, Quentin Le, Patey, Ludovic
Natura:	Preprint
Pubblicazione:	2026
Soggetti:	Logic 03F20, 03F35, 03B30 (Primary) 03F25, 05D10 (Secondary)
Accesso online:	Acceder al recurso
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)

Ramsey-like theorems for separable permutations
di: Houérou, Quentin Le, et al.
Pubblicazione: (2025)

$Π^0_4$ conservation of the Ordered Variable Word theorem
di: Houérou, Quentin Le, et al.
Pubblicazione: (2024)

Open questions about Ramsey-type statements in reverse mathematics
di: Patey, Ludovic
Pubblicazione: (2015)

An ordinal analysis of CM and its extensions
di: Wang, Shuwei
Pubblicazione: (2025)

$Π^0_4$ conservation of Ramsey's theorem for pairs
di: Houérou, Quentin Le, et al.
Pubblicazione: (2024)

Satisfaction classes with approximate disjunctive correctness
di: Enayat, Ali
Pubblicazione: (2023)

The reverse mathematics of the pigeonhole hierarchy
di: Houérou, Quentin Le, et al.
Pubblicazione: (2024)

The cohesive and stable Ramsey theorems and proof size over a weak base theory
di: Kołodziejczyk, Leszek Aleksander, et al.
Pubblicazione: (2026)

On the hierarchy of natural theories
di: Walsh, James
Pubblicazione: (2021)

The Kaufmann--Clote question on end extensions of models of arithmetic and the weak regularity principle
di: Sun, Mengzhou
Pubblicazione: (2024)

Constructive proofs for the standard translation of many-sorted to unsorted predicate logic
di: Oddsson, Hrafn Valtýr
Pubblicazione: (2026)

The behavior of higher proof theory I: Case $Σ^1_2$
di: Jeon, Hanul
Pubblicazione: (2024)

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

Notes on the equiconsistency of ZFC without the Power Set axiom and second order PA
di: Kanovei, Vladimir, et al.
Pubblicazione: (2025)

On the significance of parameters and the projective level in the Choice and Comprehension axioms
di: Kanovei, Vladimir, et al.
Pubblicazione: (2024)

From Numbers to Container Strings
di: Visser, Albert
Pubblicazione: (2024)

On Rosser theories
di: Cheng, Yong
Pubblicazione: (2024)

Pour-El's Landscape
di: Kurahashi, Taishi, et al.
Pubblicazione: (2023)

There are no minimal effectively inseparable theories
di: Cheng, Yong
Pubblicazione: (2022)

Completions of Restricted Complexity I, Weak Arithmetical Theories
di: Enayat, Ali, et al.
Pubblicazione: (2025)

A model with fragments of projective determinacy and failures of $\mathsf{DC}$
di: Müller, Sandra, et al.
Pubblicazione: (2025)

Reflection ranks via infinitary derivations
di: Walsh, James
Pubblicazione: (2021)

An equiconsistency proof for $\mathrm{CZF} + V = L$
di: Wang, Shuwei
Pubblicazione: (2026)

Robinson Splitting Theorem and $Σ_1$ Induction
di: Liu, Yong, et al.
Pubblicazione: (2026)

Encoding Sequences in Intuitionistic Real Algebra
di: Erdélyi-Szabó, Miklós
Pubblicazione: (2025)

Generalized Kripke's Schema and the Expressive Power of Intuitionistic Real Algebra
di: Erdélyi-Szabó, Miklós
Pubblicazione: (2024)

Tightness and solidity in fragments of Peano Arithmetic
di: Gruza, Piotr, et al.
Pubblicazione: (2025)

A Deep-Inference Sequent Calculus for Basic Propositional Team Logic (Without Delving Too Deep)
di: Anttila, Aleksi, et al.
Pubblicazione: (2025)

The Aurellion Function: A Recursive Fast-Growing Hierarchy Beyond Knuth Notation
di: Vodrazka, Daniel
Pubblicazione: (2025)

Effective inseparability and some applications in meta-mathematics
di: Cheng, Yong
Pubblicazione: (2022)

On the relationships between some meta-mathematical properties of arithmetical theories
di: Cheng, Yong
Pubblicazione: (2023)

Avoiding logical strength in real analysis
di: Freund, Anton, et al.
Pubblicazione: (2026)

Weak and Strong Versions of Effective Transfinite Recursion
di: Uftring, Patrick
Pubblicazione: (2022)

The limitless First Incompleteness Theorem
di: Cheng, Yong
Pubblicazione: (2021)

Partition theorems for Ketonen-Solovay largeness
di: Houérou, Quentin Le, et al.
Pubblicazione: (2026)

Herbrandized modified realizability
di: Ferreira, Gilda, et al.
Pubblicazione: (2024)

Ordinal Analysis of Well-Ordering Principles, Well Quasi-Orders Closure Properties, and $Σ_n$-Collection Schema
di: Buriola, Gabriele, et al.
Pubblicazione: (2025)

More conservativity for weak Kőnig's lemma
di: Freund, Anton, et al.
Pubblicazione: (2024)

Some Unpublished Letters by Gödel and von Neumann in the Fraenkel Archive
di: Mancosu, Paolo, et al.
Pubblicazione: (2023)