On the Jacobian criterion of formal smoothness.
We give a short proof of the Jacobian criterion of formal smoothness using the Lichtenbaum-Schlessinger cotangent complex.
On the rings of formal solutions of polynomial differential equations
The paper establishes the basic algebraic theory for the Gevrey rings. We prove the Hensel lemma, the Artin approximation theorem and the Weierstrass-Hironaka division theorem for them. We introduce a family of norms and we look at them as a family of analytic functions defined on some semialgebraic sets. This allows us to study the analytic and algebraic properties of this rings.
On the Structure of a Certain Class of Locally Compact Rings.
On the Weierstrass division.