A.Recall the notion of Nash implementation, as formulated in Section 3.3 under the implicit assumption that agents enjoy complete information about the underlying details of the environment. State and...

A.Recall the notion of Nash implementation, as formulated in Section 3.3 under the implicit assumption that agents enjoy complete information about the underlying details of the environment. State and prove an analogue of the revelation principle for this implementation scenario.

B.
Verify that the strategies given by (7.58) and (7.59) define a BNE for the Bayesian game induced by the bilateral double auction described in Subsection 7.4.1.