Text this: Some interactions between expansive dynamics and mathematical logic