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.
Пост није нашао такву имовину и решење за његов проблем примењује методе приоритетних уместо тога; Харингтон и Соаре (1991) су нашли на крају такве особине.