Very soon after this, Friedberg and Muchnik independently solved Post's problem by establishing the existence of recursively enumerable sets of intermediate degree.
Πολύ σύντομα μετά από αυτό, ο Friedberg και ο Muchnik ανεξάρτητα έλυσαν το πρόβλημα του Post κατά τη διαπίστωση της ύπαρξης αναδρομικά αριθμήσιμων συνόλων με ενδιάμεσο βαθμό.