マイヤーソン・サタースウェイトの定理
マイヤーソンとサタースウェイトは、理想的なメカニズムが満たすべき要件について次のように研究している。 (see also Double auction#requirements):
1. 合理的選択理論 (IR): ボブとサリーの両者の期待値は非負であるべきである(両者が最初に参加するインセンティブを持つように)。正式には: U S ( v S , v S ) ≥ 0 {\displaystyle U_{S}(v_{S},v_{S})\geq 0} and U B ( v B , v B ) ≥ 0 {\displaystyle U_{B}(v_{B},v_{B})\geq 0} .
2. 弱い均衡予算 (WBB): オークショニアは、トレードを補助するために家からお金を持ってくる必要はない。
3. ナッシュ均衡のインセンティブ互換性(NEIC):すべてのエージェントにとって、他のエージェントが真の値を報告した場合、最善の対応は真の値も報告することである。言い換えれば、誰も嘘をつきたくはないはずである。