We investigate the Friedman--Goldfarb--Harrington theorem from two
perspectives. Firstly, in the frameworks of classical and modal propositional
logics, we study the forms of sentences whose existence is guaranteed by the
FGH theorem. Secondly, we prove some variations of the FGH theorem with respect
to Rosser provability predicates.Comment: 28 page