A survey on the Hawking – Penrose theory. (English). In: Frolík, Z. (ed.): Proceedings of the 12th Winter School on Abstract Analysis. Section of Topology. Circolo Matematico di Palermo, Palermo, 1984. pp. [215]-231