Tilings and model theory - Archive ouverte HAL Access content directly
Conference Papers Year : 2008

Tilings and model theory

Abstract

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.

Domains

Other [cs.OH]
Fichier principal
Vignette du fichier
29-39.pdf (126.85 Ko) Télécharger le fichier
Origin : Explicit agreement for this submission
Loading...

Dates and versions

hal-00273698 , version 1 (16-04-2008)

Identifiers

  • HAL Id : hal-00273698 , version 1

Cite

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

Share

Gmail Facebook X LinkedIn More