TY  - RPRT
TI  - Implications between Induction Principles for $\mathbb{N}$ in Peano Arithmetic
AU  - João Alves Silva Júnior
PY  - 2021
UR  - https://arxiv.org/abs/2111.10716
ID  - 2111.10716
ER  -