By an open neighbourhood in ℂⁿ of an open subset Ω of ℝⁿ we mean an open subset Ω' of ℂⁿ such that ℝⁿ ∩ Ω' = Ω. A well known result of H. Grauert implies that any open subset of ℝⁿ admits a fundamental system of Stein open neighbourhoods in ℂⁿ. Another way to state this property is to say that each open subset of ℝⁿ is Stein. We shall prove a similar result in the subanalytic category: every subanalytic open subset in a paracompact real analytic manifold M admits a fundamental system of subanalytic...

Let $𝒥$ be a coherent ideal sheaf on a complex manifold $X$ with zero set $Z$, and let $G$ be a plurisubharmonic function such that $G=log\left|f\right|+𝒪\left(1\right)$ locally at $Z$, where $f$ is a tuple of holomorphic functions that defines $𝒥$. We give a meaning to the Monge-Ampère products ${\left(d{d}^{c}G\right)}^k$ for $k=0,1,2,...$, and prove that the Lelong numbers of the currents $M_k^{𝒥}:={\mathbf{1}}_Z{\left(d{d}^{c}G\right)}^k$ at $x$ coincide with the so-called Segre numbers of $J$ at $x$, introduced independently by Tworzewski, Gaffney-Gassler, and Achilles-Manaresi. More generally, we show that $M_k^{𝒥}$ satisfy a certain generalization...