supported publications or other works A transfer theorem in constructive p-adic algebra Journal Articles Independence for types in algebraically closed valued fields Conferences