Imagen de Portada

Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmetic

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Ikari, Hiroyuki, Yokoyama, Keita
Formato:	Preprint
Publicado:	2026
Materias:	Logic
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Conservation of Ramsey's theorem for pairs and well-foundedness
por: Houérou, Quentin Le, et al.
Publicado: (2024)

Completeness theorems for modal logic in second-order arithmetic
por: Shimomichi, Sho, et al.
Publicado: (2025)

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

Quasi-Polish spaces and spaces of filters in second-order arithmetic
por: Kaneko, Yuzuki, et al.
Publicado: (2026)

Ramsey-like theorems and immunities
por: Mimouni, Ahmed, et al.
Publicado: (2025)

Searching problems above arithmetical transfinite recursion
por: Suzuki, Yudai, et al.
Publicado: (2023)

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

Partition genericity and pigeonhole basis theorems
por: Monin, Benoit, et al.
Publicado: (2022)

On the Rainbow Ramsey theorem and the Canonical Ramsey Theorem for pairs without AC
por: Banerjee, Amitayu, et al.
Publicado: (2024)

Cross-constraint basis theorems and products of partitions
por: Cervelle, Julien, et al.
Publicado: (2024)

The barrier Ramsey theorem
por: Marcone, Alberto, et al.
Publicado: (2025)

The reverse mathematics of bounded Ramsey's theorem for pairs
por: Houérou, Quentin Le, et al.
Publicado: (2025)

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

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

Π40 conservation of Ramsey's theorem for pairs
por: Quentin Le Houérou, et al.
Publicado: (2026)

The adjacent Hindman's theorem and the $\mathbb Z$-Ramsey's theorem
por: Aceves-Martínez, Bruno Fernando, et al.
Publicado: (2024)

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

A non-sequential arithmetical theory with pairing
por: Murwanashyaka, Juvenal
Publicado: (2025)

Reductions of well-ordering principles to combinatorial theorems
por: Carlucci, Lorenzo, et al.
Publicado: (2024)

On the $Π^1_2$ consequences of $Π^1_1$-$\mathsf{CA}_0$
por: Suzuki, Yudai, et al.
Publicado: (2024)

Bounded Ramsey's theorem for triples in computability theory
por: Patey, Ludovic, et al.
Publicado: (2026)

Tarski's Undefinability Theorem and first-order arithmetic
por: Boyce, Stephen
Publicado: (2010)

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

A characterization of the $n$-ary many-sorted closure operators and a many-sorted Tarski irredundant basis theorem
por: Vidal, Juan Climent, et al.
Publicado: (2017)

Incompleteness theorems via Turing category
por: Savelyev, Yasha
Publicado: (2024)

A Cobham theorem for scalar multiplication
por: Hieronymi, Philipp, et al.
Publicado: (2024)

Measurable Vizing's theorem
por: Grebík, Jan
Publicado: (2023)

Generalized Schatunowsky theorem in a weak arithmetic
por: King, Hala, et al.
Publicado: (2025)

Pathwise-random trees and models of second-order arithmetic
por: Barmpalias, George, et al.
Publicado: (2021)

An abstract fixed-point theorem for Horn formula equations
por: Hetzl, Stefan, et al.
Publicado: (2025)

The nonexistence of unicorns and many-sorted Löwenheim-Skolem theorems
por: Przybocki, Benjamin, et al.
Publicado: (2024)

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

Partition theorems for expanded trees
por: Shelah, Saharon
Publicado: (2021)

A Ramsey theorem for the reals
por: Inamdar, Tanmay
Publicado: (2024)

The geometrical basis of arithmetical knowledge: Frege & Dehaene
por: Sorin Costreie
Publicado: (2018)

Ajtai's theorem for $T^2_2(R)$ and pebble games with backtracking
por: Ken, Eitetsu, et al.
Publicado: (2024)

The Reverse Mathematics of Analytic Measurability
por: Aguilera, Juan P., et al.
Publicado: (2026)

On some subtheories of strong dependent choice
por: Aguilera, Juan P., et al.
Publicado: (2024)

On collection schemes and Gaifman's splitting theorem
por: Kurahashi, Taishi, et al.
Publicado: (2024)

The Ginsburg--Sands theorem and computability theory
por: Benham, Heidi, et al.
Publicado: (2024)