Equivalent Characterisations of Algebraically Closed Fields