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.
ポストはそのような性質を見出すことはできず、彼の問題は代わりに優先度法を用いて解決されたが、Harrington と Soare (1991) はそのような性質をついに発見した。