Relational Semantics for the Turing Schmerl Calculus - Eduardo Hermo Reyes; Joost J. Joosten (2017)