On the Proof of Elimination of Imaginaries in Algebraically Closed Valued Fields

Will Johnson. On the Proof of Elimination of Imaginaries in Algebraically Closed Valued Fields. Notre Dame Journal of Formal Logic, 61(3):363-381, 2020. [doi]

Abstract

Abstract is missing.