Let formula _ 15 be a simple game . Then the core formula _ 61 is nonempty for all profiles formula _ 50 of acyclic preferences if and only if formula _ 30 is finite and formula _ 97 .
Let formula _ 15 be a simple game . Then the core formula _ 61 is nonempty for all profiles formula _ 50 of finite preferences if and only if formula _ 30 is acyclic and formula _ 97 .