A non-computable c.e. closed subset of $[0,1]$

Documenti analoghi

• Computability for tree presentations of continuum-size structures
  di: Block, Jason, et al.
  Pubblicazione: (2025)
• A note on the degree structure of primitive recursive m-reducibility
  di: Kalmurzayev, Birzhan, et al.
  Pubblicazione: (2023)
• New definitions in the theory of Type 1 computable topological spaces
  di: Rauzy, Emmanuel
  Pubblicazione: (2023)
• Online and feasible presentability: from trees to modal algebras
  di: Bazhenov, Nikolay, et al.
  Pubblicazione: (2025)
• A generalization of Markov's approach to the continuity problem for Type 1 computable functions
  di: Rauzy, Emmanuel
  Pubblicazione: (2023)