Relational Semantics for the Turing Schmerl Calculus
scientific article; zbMATH DE number 7084840