Showing math.LOShow all
2 papers · 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 based on the autonomous expansion of provability algebras. In this paper we present the log…
math.LO2018
A Finitely Supported Frame for the Turing Schmerl Calculus
Eduardo Hermo Reyes
In arXiv:1604.08705 we introduced the propositional modal logic (which stands for Turing Schmerl Calculus) which adequately describes the provable interrelations bet…