TY - RPRT TI - Finite axiomatizability of the rank and the dimension of a pro-$π$ group AU - Martina Conte AU - Benjamin Klopsch PY - 2023 DO - 10.2140/pjm.2024.328.255 UR - https://arxiv.org/abs/2304.02504 ID - 2304.02504 ER -