Blaise Boissonneau: Quantifier Elimination and definable sets in Qp External Video-URL https://www.youtube.com/watch?v=vjePT6Dnc68 Preview-Image Search Engine Exclude no
