Relational Semantics for the Turing Schmerl Calculus
type: Item
instance of: scholarly article
zbMATH Open document ID: 1418.03086
author: Eduardo Hermo Reyes
author: Joost J. Joosten
publication date: 2019-07-24T00:00:00Z
full work available at URL: https://arxiv.org/abs/1709.04715
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 03F45
zbMATH DE Number: 7084840
zbMATH Keywords: provability logic
zbMATH Keywords: strictly positive fragments
zbMATH Keywords: Turing progressions
zbMATH Keywords: universal model
MaRDI profile type: Publication
arXiv classification: math.LO
arXiv ID: 1709.04715
description: scientific article; zbMATH DE number 7084840