• Game is a CO-op game, so they need a distributed winning strategy
  • They have a local strategy
  • They know each other’s local startegy
• Architechture
  • Players
  • Locations
  • Read Write access of Players
• Each Player has partial observation from the observer
• The arena is the product of values of locations
• There are $\omega$ regular winning condition

• Theorem

  Does the team of players have a distributed winning strategy : This is undecidable and is neither RE nor CoRE