Types in Algebraically Closed Valued Fields: A Defining Schema for Definable 1-Types

Abstract

In this thesis we study the types of algebraically closed valued fields (ACVF). We prove the definable types of ACVF are residual and valuational and provide a defining schema for the definable types. We then conclude that all the types are invariant.