"On Galois correspondences in formal logic"