Generalization of Gurjar's Hyperplane section theorem to arbitrary analytic varieties and A$\mathbb{m}$AC classes

The aim of this paper is to generalize the hyperplane section theorem of Gurjar to arbitrary (local) analytic varieties even if the intersection with of hyperplanes is not necessarily isolated. In case of formal varieties, we generalize the statement to work for different classes of functions than just hyperplanes. We call these classes (which are subsets of formal power series ring) to be algebraic $\mathbb{m}$-adicaly closed (A$\mathbb{m}$AC).