and motivation -- p-valuations -- p-adically closed fields -- The general embedding theorem -- Model theory of p-adically closed fields -- Formally p-adic fields -- Function fields over p-adically closed fields