Places

Our goal in this chapter is to prove an extension theorem for places (Definition 3) which will readily imply the existence of extensions of nonarchimedean valuations (Theorem 15.1.1).