サベージ確実なものの原理と主観的ユーティリティの表現

私は、Savageの主観的効用表現の証明を読んで理解しようとしましたが、複雑すぎます。これのより短い/よりエレガントな証明を知っている人はいますか？有限の価格セットを想定しても問題ありません。

オリジナルはサベージ、LJ 1954にあります。統計の基礎。ニューヨーク：ジョン・ワイリーとサンズ。

良い要約は http://www.econ2.jhu.edu/people/Karni/savageseu.pdfにあります。

サベージの証明は非常に精巧で長いことが知られています。それはその主な公理として確実なものの原則を使用しています。もっと「モダン」な証明があるのだろうかと思っていました。あるいは、混合空間のようないくつかの現代の数学を使って共同で証明しようとするのもいいでしょう（私はAnscombe-Aumannを知っています）。

Kreps（1988）の著書「Notes on the Theory of Choice」では、第8章で主観的確率について説明した後、第9章「Savageの不確実性の下での選択理論」で問題を取り上げています。いつものように、Krepsのスタイルは次のように役立ちます。彼の（常にフォーマルな）アプローチをシームレスに注入する能力があり、直感に強い非常に現実的なコメントと例を使用しています（そして彼は、サベージよりも優れていると私は付け加えます）。しかし、ここでも、「正式」は「完全な説明」に変換されません。彼は、「これは2ページの証明です」、「これは別の2ページの証明です」と述べて、装置全体の一部を正式に証明することを明示的に控えます。 、「これを証明したい場合は、「意思決定のための効用理論」の本、第14章 「サベージの期待される効用理論」。そして、フィッシュバーンは正式です（ページ内の単語よりも多くのシンボル）。

私の印象は、これら2つの情報源を組み合わせることが有益である可能性があることです。