Post did not find such a property and the solution to his problem applied priority methods instead; Harrington and Soare (1991) found eventually such a property.
Post nu a găsit o astfel de proprietate și soluția problemei sale aplică în schimb metoda priorității; Harrington și Soare (1991) au găsit în cele din urmă o astfel de proprietate.