Institute of Mathematics and Computer Science at University of Latvia
Extensions A of a Hilbert algebra Y by a Hilbert algebra X are characterized by short exact sequences
. We present some conditions under which such a sequence determines the Hilbert algebra A uniquely, and a corresponding construction of an isomorphic copy of this A from the algebras Y and X.