{ "id": "1709.04715", "version": "v1", "published": "2017-09-14T11:44:48.000Z", "updated": "2017-09-14T11:44:48.000Z", "title": "Relational Semantics for the Turing Schmerl Calculus", "authors": [ "Eduardo Hermo Reyes", "Joost J. Joosten" ], "categories": [ "math.LO" ], "abstract": "In this paper we present relational semantics for the system TSC by considering a small variation on Ignatiev's frame. This is a draft version and shortly a more complete version will be published.", "revisions": [ { "version": "v1", "updated": "2017-09-14T11:44:48.000Z" } ], "analyses": { "keywords": [ "turing schmerl calculus", "relational semantics", "complete version", "draft version", "system tsc" ], "note": { "typesetting": "TeX", "pages": 0, "language": "en", "license": "arXiv", "status": "editable" } } }