The Stacks project

Try to use L/K notation for field extensions

We could also try to consistenly use "field extension" and not just
"extension" and consistently use "ring extension", etc.

blow-ups, blow ups, and blowups

THis is made difficult because I can 'blow up' something

Thanks to Antoine Chambert-Loir
https://stacks.math.columbia.edu/tag/01OF#comment-2823

Change wording in resolve

Use Trace not Tr for usual trace map

Trace pairing

Thanks to Remy van Dobben de Bruyn for find a quick proof of transitivity
of norms in a tower

Finish resolution of surfaces

Decided to split the chapter into two:

(a) for schemes following very closely Artin's write-up
(b) for algebraic spaces, try to reduce everything as
 much as possible from the case of schemes...

Is it really not possible to just work with ASs?

Fix section on boundedness in resolve.tex

Tags: Added new tags

Ratliff's result characterizing universally catenary rings

Boundedness of H^(X, O_X) in separable case

Very rough first version