Tilings and model theory

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.

• Type: Conference
• Year: 2008
• Where: JAC
• Authors: Alexis Ballier, Emmanuel Jeandel
• Keywords: Artificial Intelligence, JAC 2008, Model Theoretical Properties, Model Theory, Tiling Rules