FUNDAMENTAL THEOREM FOR FINITE GALOIS EXTENSIONS OF AN INTERNAL COMMUTATIVE CONNECTED RING
IN AN ELEMENTARY TOPOS AND THE FUNCTOR $T$.
Tbiliss. Gos. Univ. Inst. Prikl. Mat. Trudy 36 (1990), pp.9-27.
GALOIS OBJECTS IN THE CATEGORY OF INTERNAL COMMUTATIVE ALGEBRAS IN AN ELEMENTARY TOPOS AND THEIR FLATNESS. Tbiliss. Gos. Univ. Inst. Prikl. Mat. Trudy 36 (1990), pp.28-44.