3 papers
math.LO2026
Tennenbaum-like theorems for cohesive powers
David Gonzalez, Paul Shafer
We investigate the encoding ability of the cohesive power construction. We compute a graph where the cohesive power of by any $Δ_2…
math.LO2026
Intuitionism and computing with partial information
Hristo Ganchev, Paul Shafer, Theodore A. Slaman +2
There exist initial segments of both the Dyment lattice and the Dyment-Muchnik lattice that yield Brouwer algebras modeling exactly the intuitionistic propositional calculus. For t…
math.LO2026
Bounded Ramsey's theorem for triples in computability theory
Ludovic Patey, Paul Shafer
We study a restriction of Ramsey's theorem for 2-coloring of triples, in which homogeneous sets for color~1 are of bounded size (). We prove that the computationa…