Buchumschlag

Ramsey Theory and Bounding in Arithmetic

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Cholak, Peter
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Logic
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

On proving consistency of equational theories in Bounded Arithmetic
von: Beckmann, Arnold, et al.
Veröffentlicht: (2022)

Models of Bounded Arithmetic and variants of Pigeonhole Principle
von: Narusevych, Mykyta
Veröffentlicht: (2022)

Feasibility of Primality in Bounded Arithmetic
von: Jalali, Raheleh, et al.
Veröffentlicht: (2025)

The Henson graphs: colorings and codings
von: Cholak, Peter, et al.
Veröffentlicht: (2026)

Minimization Principle for Polynomial-Time Predicates and Forcing in Bounded Arithmetic
von: Narusevych, Mykyta
Veröffentlicht: (2026)

On the Decidability of Monadic Theories of Arithmetic Predicates
von: Berthé, Valérie, et al.
Veröffentlicht: (2024)

Low$_2$ computably enumerable sets have hyperhypersimple supersets
von: Cholak, Peter, et al.
Veröffentlicht: (2024)

Unravelling Cyclic First-Order Arithmetic
von: Leigh, Graham E., et al.
Veröffentlicht: (2025)

Toward a Characterization of Simulation Between Arithmetic Theories
von: Monroe, Hunter
Veröffentlicht: (2026)

The Arithmetical Hierarchy: A Realizability-Theoretic Perspective
von: Kihara, Takayuki
Veröffentlicht: (2024)

On the Concept of Arithmetic Conseqeunce
von: Gheorghiu, Alexander V.
Veröffentlicht: (2026)

Big Ramsey Degrees in Ultraproducts of Finite Structures
von: Bartošová, Dana, et al.
Veröffentlicht: (2022)

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

A survey on big Ramsey structures
von: Hubička, Jan, et al.
Veröffentlicht: (2024)

A natural axiomatization of Büchi Arithmetic
von: Kovalyov, Konstantin
Veröffentlicht: (2026)

Binary Choice Games and Arithmetical Comprehension
von: Aguilera, Juan Pablo, et al.
Veröffentlicht: (2025)

Peano Arithmetic, games and descent recursion
von: Frittaion, Emanuele
Veröffentlicht: (2024)

The Limits of Determinacy in Higher-Order Arithmetic
von: Aguilera, Juan Pablo, et al.
Veröffentlicht: (2024)

Ramsey theory of low-degree semialgebraic relations
von: Adibelli, Azem, et al.
Veröffentlicht: (2026)

Bounded Ramsey's theorem for triples in computability theory
von: Patey, Ludovic, et al.
Veröffentlicht: (2026)

Speedups for Presburger Arithmetic and Real Closed Fields
von: Pakhomov, Fedor, et al.
Veröffentlicht: (2026)

Full mad families of vector spaces and two local Ramsey theories
von: Yung, Clement
Veröffentlicht: (2025)

Weak A2 spaces, the Kastanas game and strategically Ramsey sets
von: Yung, Clement
Veröffentlicht: (2024)

A footnote to the KPT theorem in structural Ramsey theory
von: Cameron, Peter J., et al.
Veröffentlicht: (2025)

A new perspective on semi-retractions and the Ramsey property
von: Bartošová, Dana, et al.
Veröffentlicht: (2022)

More Ramsey theory for highly connected monochromatic subgraphs
von: Hrušák, Michael, et al.
Veröffentlicht: (2023)

Arithmetical completeness for some extensions of the pure logic of necessitation
von: Kogure, Haruka
Veröffentlicht: (2024)

Ramsey Property and Pathological Sets: Almost Disjointness, Independence and Other Maximal Objects
von: He, Jialiang, et al.
Veröffentlicht: (2026)

Low-like basis theorems for Ramsey's theorem for pairs in first-order arithmetic
von: Ikari, Hiroyuki, et al.
Veröffentlicht: (2026)

Witnessing Flows in Arithmetic
von: Tabatabai, Amirhossein Akbar
Veröffentlicht: (2024)

Ramsey-like theorems and immunities
von: Mimouni, Ahmed, et al.
Veröffentlicht: (2025)

Resource-Bounded Type Theory: Compositional Cost Analysis via Graded Modalities
von: Mannucci, Mirco A., et al.
Veröffentlicht: (2025)

MCSAT Modulo Transcendental Arithmetics
von: Gallego-Hernández, Jorge, et al.
Veröffentlicht: (2026)

The strength of Ramsey Theorem for coloring relatively large sets
von: Carlucci, Lorenzo, et al.
Veröffentlicht: (2012)

Peano Arithmetic and $μ$MALL
von: Manighetti, Matteo, et al.
Veröffentlicht: (2023)

Towards an Analysis of Proofs in Arithmetic
von: Leitsch, Alexander, et al.
Veröffentlicht: (2025)

Uniformity of Consistency in Arithmetic and Gödel's Second Incompleteness Theorem: Ein Märchen
von: Grobner, Harald
Veröffentlicht: (2026)

Resource-Bounded Martin-Löf Type Theory: Compositional Cost Analysis for Dependent Types
von: Mannucci, Mirco A., et al.
Veröffentlicht: (2026)

Complexity of codes for Ramsey positive sets
von: Wang, Allison
Veröffentlicht: (2024)

Implications of Ramsey Choice principles in ZF$\mathsf {ZF}$
von: Lorenz Halbeisen, et al.
Veröffentlicht: (2024)