TY - RPRT TI - Of model completeness and algebraic groups AU - Daniel Max Hoffmann AU - Piotr Kowalski AU - Chieu-Minh Tran AU - Jinhe Ye PY - 2025 UR - https://arxiv.org/abs/2312.08988 ID - 2312.08988 ER -