2 citations · 2 across the 2 of their papers we have counts for
2 papers
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.LO2019★ 2 cited
Computable embeddings for pairs of linear orders
Nikolay Bazhenov, Hristo Ganchev, Stefan Vatev
We study computable embeddings for pairs of structures, i.e. for classes containing precisely two non-isomorphic structures. Surprisingly, even for some pairs of simple linear orde…