On Constructivity of Galois Connections
scientific article