Developing further the methods of abstract Galois theory which had been initiated by Krasner, Kaluznin and his students were able to establish a Galois correspondence between Post algebras and Krasner algebras.
Karagdagang pag-unlad ng mga pamamaraan ng makuha Galois theory na kung saan nagkaroon na sinimulan sa pamamagitan ng Krasner, Kaluznin at ang kanyang mga mag-aaral ay magagawang na magtatag ng isang Galois-uusap sa pagitan ng Post algebras at Krasner algebras.