Можливо, ви хочете бути трохи більш точними щодо того, що ви маєте на увазі під "Принципом Одкровення", оскільки там існує багато формулювань "Принципа Об'явлення", деякі з яких сильніші за інші. Кожна з цих формулювань висловлює різне твердження і спирається на певний набір припущень. Звичайно, твердження часто не відповідає дійсності, якщо деякі припущення помилкові.
(Далі - із заміток, які я отримав з класу мікроекономіки.)
Розглянемо, наприклад, наступну версію принципу одкровення, що виходить з Репулло (1985), Огляд економічних досліджень:
gΓ≡(g,U1,…,Un)gs:Θ→ShgΘs∗:Θ→Shgθ∈Θ
Смілива частина важлива. Якщо це не буде виконано, все одно може існувати неістинна рівновага в еквівалентному прямому механізмі. Приклад наведено в Repullo (1985), Огляд економічних досліджень, с. 223-229.
A≡{a,b,c,d}
Θ1≡{θ′1,θ′′1}
Θ2≡{θ′2,θ′′2}
u1(⋅,θ′1)u1(⋅,θ′′1)u2(⋅,θ′2)u2(⋅,θ′′2)a2121b4022c2240d4444
S1≡{s′1,s′′1,s′′′1}
S2≡{s′2,s′′2,s′′′2}
Ігрова форма така
s′1s′′1s′′′1s′2accs′′2bdbs′′′2bca
Щодо перевірки, ніж наступний, є рівнозначним прямим механізмом
θ1θ1θ′2acθ′′2bd
Однак, коли типи є , хоча правда є домінуючою стратегією, будь-який інший звіт про уподобання також є домінуючою стратегією . Це може бути дуже нудно, оскільки це означає, що для деяких конфігурацій типів, говорячи правда, є лише одна рівновага між іншими. Як наслідок, ми не маємо реальної гарантії, що "розкажеш правду" буде відтворено (можливо, навіть у тому, що в розмові правди Парето переважає інша рівновага. Використовуючи аргументацію фокуса, це може ще більше підірвати актуальність правди - розповідаючи про рівновагу).(θ′1,θ′2)
Вищезазначене питання пов'язане з тим, що в оригінальній грі деякі стратегії ніколи не граються, що виключається, якщо є допоміжним. Отже, версія Принципу Об'явлення Репулло (вимагає, щоб кожен домінуючий результат рівноваги стратегії еквівалентної гри був серед рівноважного результату початкової гри для кожної можливої конфігурації типів ) має місце лише в тому випадку, якщо функція вибору рівноваги є сюжективною, а в іншому випадку не вдається.s∗