Building relativized representations using games

Tarek Sayed Ahmed, Mohamed Khaled

We prove the celebrated representation theorem of Andreka-Resek-Thompson, together with its polyadic analogue by Ferenczi, using games as introduced in algebraic logic by Hirsch an…