Abstract
A general algebraic surface cannot be embedded in P4. Proving a conjecture by Hartshorne and Lichtenbaum, Ellingsrud and Peskine showed that there is a degree bound for smooth rational surfaces in P4, and in fact for surfaces not of general type. We give a survey of the classification status and of classical and computer-aided constructions of smooth non-general type surfaces in P4.