Logic and Games,” *Stanford Encyclopedia of Philosophy¶
Hodges, W. (2024). Logic and Games,” *Stanford Encyclopedia of Philosophy. Stanford Encyclopedia of Philosophy.
Cited by¶
1 citation across 1 artifact.
Each citation links to the sentence it supports in the citing article.
Domain-specific¶
- Quantifier Rank
- Ehrenfeucht–Fraïssé games supply the standard proof interface: if Duplicator wins the \(k\)-round game on two structures, then no first-order sentence of rank at most \(k\) distinguishes them.
This sourceExplains the Ehrenfeucht–Fraïssé game and the conversion between a winning Spoiler strategy in \(m\) rounds and a distinguishing first-order sentence with at most \(m\) quantifier-scope levels.
- Ehrenfeucht–Fraïssé games supply the standard proof interface: if Duplicator wins the \(k\)-round game on two structures, then no first-order sentence of rank at most \(k\) distinguishes them.
Verification¶
This reference passed the adversarial substantiation pipeline: it was checked to exist and to support the claim it is attached to. See how references were verified.
Registry ID ref:c5e0c52332ae · see in the full table