أرسل هذا في رسالة قصيرة: On the existential theories of Büchi arithmetic and linear p-adic fields