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.
Document type :
Conference papers
Liste complète des métadonnées

Cited literature [13 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00273698
Contributor : <>
Submitted on : Wednesday, April 16, 2008 - 2:58:37 PM
Last modification on : Friday, March 9, 2018 - 11:25:35 AM
Document(s) archivé(s) le : Friday, September 28, 2012 - 12:40:24 PM

File

29-39.pdf
Explicit agreement for this submission

Identifiers

  • HAL Id : hal-00273698, version 1

Collections

Citation

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

Share

Metrics

Record views

197

Files downloads

182