Раціональність та загальна віра у раціональність у Бранденбургері та Декелі (1987)

Одним із фундаментальних результатів теорії епістемічних ігор є те, що концепція рішення співвіднесеної раціоналізації дає саме ті профілі дій, які сумісні з раціональністю та загальною вірою в раціональність. Точне твердження та формулювання цього результату наведено в

Тан, Томмі Чін-Чіу і Серхіо Рібейро да Коста Верланг. "Байєсівські основи розв'язання ігор". Журнал економічної теорії 45.2 (1988): 370-391.

як теорема 5.2, так і теорема 5.3. Альтернативна посилання, яка часто цитується для цього результату (принаймні, в контексті обмежених ігор, Tan & Werlang допускають компактні простори метричних дій)

Бранденбургер, Адам та Едді Декель. "Раціоналізація та корельована рівновага". Econometrica: Journal of Econometric Society (1987): 1391-1402.

Наприклад, опитування теорії епітемічних ігор у четвертому томі довіднику з теорії ігор зараховує Бранденбургер і Декель для цього результату ( онлайн-версія , див. Там теорему 1). Я фактично бачив багато таких посилань, але не зміг знайти результат у своїй роботі. Цей документ містить 4 пропозиції, і жодна з них не відповідає цьому результату. Автори фактично приписують Tan & Werlang і пишуть "Tan and Werlang (1984) та Bernheim (1985)". (Tan & Werlang 1984 - версія робочого паперу).

Що мені не вистачає, що всі інші отримують?

Концепція, яку Бранденбургер і Декель (1987) називають "післяокірною рівновагою", приблизно така ж, як і Декель і Синіскальчі називають "епістемічну структуру типу для повної інформаційної гри", в якій всі типи раціональні і існує загальна віра в раціональність . Отже, Бранденбургер і пропозиція Декеля 2.1, разом із зауваженням, яке негайно слідує за доказом пропорції 2.1, приблизно збігається з теоремою 1 у Декелі та Синіскальчі.