Eduardo Hermo Reyes

From MaRDI portal
Person:2176412

Available identifiers

zbMath Open hermo-reyes.eduardoMaRDI QIDQ2176412

List of research outcomes





PublicationDate of PublicationType
Deducibility and independence in Beklemishev's autonomous provability calculus2022-06-13Paper
Deducibility and Independence in Beklemishev's Autonomous Provability Calculus2020-08-31Paper
The logic of Turing progressions2020-05-04Paper
A self-contained provability calculus for \(\varGamma_0\)2020-03-04Paper
Relational semantics for the Turing Schmerl calculus2019-07-24Paper
A Finitely Supported Frame for the Turing Schmerl Calculus2018-04-27Paper

Research outcomes over time

This page was built for person: Eduardo Hermo Reyes

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:2176412&oldid=6259894"
Powered by MediaWiki