The cohesive and stable Ramsey theorems and proof size over a weak base theory

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Kołodziejczyk, Leszek Aleksander, Sun, Mengzhou
Format:	Preprint
Published:	2026
Subjects:	Logic 03B30, 03F20 (Primary) 03F25, 03F35, 03H15, 05D10 (Secondary)
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Internet

https://arxiv.org/abs/2604.01808