Showing math.LOShow all
2 papers · 1 filter
math.LO2025
A non-computable c.e. closed subset of
Serikzhan Badaev, Nikolay Bazhenov, Sergey Goncharov +2
We prove that there exists a closed subset of that is not homeomorphic to any computably compact space. We show that the index set of c.e. subspaces of that…
math.LO2014
Independence in computable algebra
Matthew Harrison-Trainor, Alexander Melnikov, Antonio Montalbán
We give a sufficient condition for an algebraic structure to have a computable presentation with a computable basis and a computable presentation with no computable basis. We apply…