Describir: Some interactions between expansive dynamics and mathematical logic