TY  - RPRT
TI  - Models of Bounded Arithmetic and variants of Pigeonhole Principle
AU  - Mykyta Narusevych
PY  - 2024
UR  - https://arxiv.org/abs/2208.14713
ID  - 2208.14713
ER  -