publication venue for On the computable isomorphism problem for some algebraic structures 2022 Chains and antichains in computable partial orderings 2009 Degree spectra of the successor relation on computable linear orderings 2009 Simple and immune relations on countable structures 2003
