TY - RPRT TI - Intensional semantics for comparison problems in arithmetic geometry AU - R. Laniewski PY - 2026 UR - https://arxiv.org/abs/2608.13609 ID - 2608.13609 ER -