TY  - RPRT
TI  - Ramsey's witnesses
AU  - Mauro Di Nasso
AU  - Lorenzo Luperi Baglini
AU  - Marcello Mamino
AU  - Rosario Mennuni
AU  - Mariaclara Ragosta
PY  - 2026
UR  - https://arxiv.org/abs/2503.09246
ID  - 2503.09246
ER  -