Complete ideals defined by sign conditions and the real spectrum of a two-dimensional local ring

Abstract

This paper is about the local geometry of a real surfaces. It introduces machinery for studying families of subsets which are determined by conditions which are similar to base conditions, but also involve positivity/non-negativity. The methods used are the real spectrum and Zariski's theory of complete ideals.