これでひとつ成果ができた、と、喜んで、念のためにMathSciNet で検索したところ、
保存拡大の定理には、すでに primitive recursive な証明を与えた論文が、
やはり Felgner の何年か後に出版されていました。

私は、当時の時間で30年以上も先を越されていたのです。

このように、未解決問題を探すときに、
あまりにも古い文献を当たるのは失敗することがあります。

すでに誰かやっている可能性が大きいからです。

そんなわけで、研究テーマ探しは、最新の文献を当たってください。