Chapter 5 · begins on page 187
Different Models of One Game
The models
Each model in the book is stated on one card: who decides, when, with what information and commitment, what they get, what they may do, and the question it answers.
Model M1 · p. 210
Where does finite-depth reasoning settle, and is that the equilibrium?
Model M2 · p. 211
How much knowledge about knowledge does coordination need?
Model M3 · p. 213
Are Lefebvre-style ranks and level- the same construction?
Model M4 · p. 215
Does deeper modelling of the other's model win, and for whom?
Model M5 · p. 217
What does designing information for the wrong mind cost?
Model M6 · p. 218
What does each layer of checking guarantee against a spoofer who knows it, and when does an independent cross-check add anything?
What is proved, in words
The book follows each result with one sentence that says what it means without symbols. The formal statement is a click away; the proofs are in the book.
Proposition 5.2 · The ladder and its fixed points · p. 211
Reasoning one step deeper at a time settles, in the integer contest, on , a resting point of the rounding; the continuum game's is never reached, while in the five-player discrete game both and are equilibria.
Proposition 5.4 · No finite number of confirmations suffices · p. 212
However many confirmations arrive, a side whose last message has been sent fears with probability that it was lost, and that fear, starting from the side that has sent nothing, unravels coordination at every count: almost common knowledge is not common knowledge.
Proposition 5.6 · The bottom of the tower decides · p. 214
Two towers of “I think that you think” built on the same game here agree at every depth or disagree at every depth, depending only on what the bottom floor is assumed to do.
Proposition 5.10 · Parity, not depth · p. 216
In this parity model of outguessing, depth confers no advantage of its own: only the parity of the two depths decides, and the equilibrium policies are the distributions over one's own depth that balance its parity.
Proposition 5.12 · The cross table · p. 217
A test tuned to an imagined credulous receiver pays only if the receiver really is credulous; the test tuned to a Bayesian loses nothing against credulity at this prior.
The worked case
From page 200 · sources checked 9 November 2026
Satellite-navigation spoofing in civil aviation
What does each layer of checking guarantee against a spoofer who knows it, and when is an independent cross-check worth its false alarms?
The mapping, the network and what the mathematics licenses →A parallax in history
1870 · Chapter 5 · p. 199
An authentic message, a different scene
Ems, 1870: an authentic telegram, shortened for release; readers had only the shorter text
2025: an AI-generated familiar voice read as strong evidence of its sender (Exercise 5.1 (p. 208))
The people
Chapter 5 · Different Models of One Game
John C. Harsanyi
1920 – 2000
Economist born in Budapest, who left Hungary in 1950, took a master's degree in Sydney (1953) while working in factories, and after a Stanford doctorate (1959), working closely with Kenneth Arrow, taught at the University of California, Berkeley, from 1964. He showed how games with incomplete information can be analysed by giving each player a type that summarises its beliefs, under a common prior — the construction this book uses from Chapter 0 on; the universal construction of belief hierarchies came later, from Mertens and Zamir — and shared the 1994 Nobel Memorial Prize in Economic Sciences with John Nash and Reinhard Selten.
Main works
- “Games with incomplete information played by ‘Bayesian' players, I–III” (Management Science 14, 1967–68)
- Rational Behavior and Bargaining Equilibrium in Games and Social Situations (1977)
Chapter 5 · Different Models of One Game
Vladimir A. Lefebvre
1936 – 2020
Trained in mathematics at Moscow State University, where he took a candidate's degree in psychology in 1971; from 1974 he worked at the University of California, Irvine. He developed mathematical models of reflexive processes — decision-makers holding explicit models of each other's models — introduced the concept of reflexive control, steering an opponent by shaping the model it holds, and later built a formal model of ethical systems and conscience.
Main works
- Conflicting Structures (in Russian, 1967; 2nd ed. 1973)
- “The basic ideas of reflexive game logic” (in Russian, 1965)
- Algebra of Conscience (1982)
Chapter 5 · Different Models of One Game
Jean-François Mertens
1946 – 2012
Mathematician and economist at CORE, the Center for Operations Research and Econometrics in Louvain-la-Neuve, Belgium. With Shmuel Zamir he constructed the universal space of belief hierarchies — foundations for Harsanyi's types under stated assumptions, used in Chapter 0 — and he made fundamental contributions to repeated games and to the theory of equilibrium selection through stable sets.
Main works
- “Formulation of Bayesian analysis for games with incomplete information”, with S. Zamir (International Journal of Game Theory 14, 1985)
- “Stable equilibria — a reformulation” (Mathematics of Operations Research, 1989, 1991)
- Repeated Games, with S. Sorin and S. Zamir (2015)