Eduardo Hermo Reyes

activity

20142020

most citedRelational Semantics for the Turing Schmerl Calculus

6 citations · 9 across the 5 of their papers we have counts for

collaborators

Showing 2020Show all

1 paper · 1 filter

math.LO2020

Deducibility and Independence in Beklemishev's Autonomous Provability Calculus

David Fernández-Duque, Eduardo Hermo Reyes

Beklemishev introduced an ordinal notation system for the Feferman-Schütte ordinal $Γ_{0}$ based on the autonomous expansion of provability algebras. In this paper we present the log…