Well-orders realized by C.E. equivalence relations

DOI10.1007/978-3-031-08740-0_2OpenAlexW4285242600MaRDI QIDQ2104248FDOQ2104248

Authors: Nikolay Bazhenov, M. V. Zubkov 

Publication date: 7 December 2022

Full work available at URL: https://doi.org/10.1007/978-3-031-08740-0_2

zbMATH Keywords

equivalence relationcomputable structure theorywell-ordercomputable ordinalcomputably enumerable structure

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Computable structures and the hyperarithmetical hierarchy
• Graphs realised by r.e. equivalence relations
• THE WORD PROBLEM
• Classical recursion theory. The theory of functions and sets of natural numbers.
• Computable quotient presentations of models of arithmetic and set theory
• Linear orders realized by c.e. equivalence relations
• Reducibilities among equivalence relations induced by recursively enumerable structures
• A survey on universal computably enumerable equivalence relations
• A journey to computably enumerable structures (tutorial lectures)
• The theory of ceers computes true arithmetic
• Joins and meets in the structure of ceers
• Boolean algebras realized by c.e. equivalence relations
• Effective inseparability and its applications
• Word problems and ceers

This page was built for publication: Well-orders realized by C.E. equivalence relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2104248)