supported publications or other works A transfer theorem in constructive p-adic algebra Journal Articles