TY  - RPRT
TI  - Tightness and solidity in fragments of Peano Arithmetic
AU  - Piotr Gruza
AU  - Leszek Aleksander Kołodziejczyk
AU  - Mateusz Łełyk
PY  - 2026
UR  - https://arxiv.org/abs/2512.09120
ID  - 2512.09120
ER  -