← Back to work
Works cited by this work
55 works
Work: Defining algorithmically presented structures in first order logic
$$\Pi^0_1$$ -Presentations of Algebras
Bakhadyr Khoussainov, Theodore A. Slaman, Pavel Semukhin
Article200612 citationsABILINEAR ORDERS REALIZED BY C.E. EQUIVALENCE RELATIONS
Ekaterina Fokina, Bakhadyr Khoussainov, Pavel Semukhin +1
Article20168 citationsABIFinitely presented expansions of groups, semigroups, and algebras
Bakhadyr Khoussainov, Alexei Miasnikov
Article20134 citationsABIUNIVERSAL COMPUTABLY ENUMERABLE EQUIVALENCE RELATIONS
Uri Andrews, Steffen Lempp, Joseph S. Miller +3
Article20144 citationsABIGraphs realised by r.e. equivalence relations
Alexander Gavruskin, Sanjay Jain, Bakhadyr Khoussainov +1
Article20142 citationsABI