Eduardo Hermo Reyes

Available identifiers

zbMath Open hermo-reyes.eduardoMaRDI QIDQ2176412

List of research outcomes

Publication	Date of Publication	Type
Deducibility and independence in Beklemishev's autonomous provability calculus	2022-06-13	Paper
Deducibility and Independence in Beklemishev's Autonomous Provability Calculus	2020-08-31	Paper
The logic of Turing progressions	2020-05-04	Paper
A self-contained provability calculus for \(\varGamma_0\)	2020-03-04	Paper
Relational Semantics for the Turing Schmerl Calculus	2019-07-24	Paper
A Finitely Supported Frame for the Turing Schmerl Calculus	2018-04-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Eduardo Hermo Reyes