Tilings and model theory

Alexis Ballier (1) , Emmanuel Jeandel (1)

1 LIF - Laboratoire d'informatique Fondamentale de Marseille - UMR 6166

In this paper we emphasize the links between model theory and tilings. More precisely, after giving the definitions of what tilings are, we give a natural way to have an interpretation of the tiling rules in first order logics. This opens the way to map some model theoretical properties onto some properties of sets of tilings, or tilings themselves.

Domaines: Autre [cs.OH]

Alexis Ballier, Emmanuel Jeandel. Tilings and model theory. JAC 2008, Apr 2008, Uzès, France. pp.29-39. ⟨hal-00273698⟩