TY - RPRT TI - Two examples concerning existential undecidability in fields AU - Philip Dittmann PY - 2022 DO - 10.1017/jsl.2023.87 UR - https://arxiv.org/abs/2211.01775 ID - 2211.01775 ER -