Definable subsets of henselian valued fields
.
November 3, 2008: Uploaded
November 13, 2008: Added introductory section, clarified leading term language.
Back to main page.