Amongst the huge literature concerning emergence, reductionism and mechanism, there is a role for analysis of the underlying mathematical constraints. Much of the speculation, confusion, controversy and descriptive verbiage might be clarified via suitable modelling and theory. The key ingredients we bring to this project are the mathematical notions of definability and invariance, a computability theoretic framework in a real-world context, and within that, the modelling of basic causal environments via Turing's 1939 notion of interactive computation over a structure described in terms of reals. Useful outcomes are: a refinement of what one understands to be a causal relationship, including non-mechanistic, irreversible causal relationships; an appreciation of how the mathematically simple origins of incomputability in definable hierarchies are materialised in the real world; and an understanding of the powerful explanatory role of current computability theoretic developments.