6 citations · 9 across the 5 of their papers we have counts for
6 papers
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…
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…
Relational Semantics for the Turing Schmerl Calculus
Eduardo Hermo Reyes, Joost J. Joosten
In arXiv:1604.08705 the authors introduced the propositional modal logic (which stands for Turing Schmerl Calculus) which adequately describes the provable interrela…
The logic of Turing progressions
Eduardo Hermo Reyes, Joost J. Joosten
Turing progressions arise by iteratedly adding consistency statements to a base theory. Different notions of consistency give rise to different Turing progressions. In this paper w…
Interacting Behavior and Emerging Complexity
Alyssa Adams, Hector Zenil, Eduardo Hermo Reyes +1
Can we quantify the change of complexity throughout evolutionary processes? We attempt to address this question through an empirical approach. In very general terms, we simulate tw…
The Selfish Algorithm
Eduardo Hermo Reyes, Joost J. Joosten
The principle of Generalized Natural Selection (GNS) states that in nature, computational processes of high computational sophistication are more likely to maintain/abide than proc…