Well-orders realized by C.E. equivalence relations

DOI10.1007/978-3-031-08740-0_2MaRDI QIDQ2104248zbMATH OpenOpenAlexFDO

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

• scientific article; zbMATH DE number 3767656 (Why is no real title available?)
• scientific article; zbMATH DE number 1450824 (Why is no real title available?)
• A journey to computably enumerable structures (tutorial lectures)
• A survey on universal computably enumerable equivalence relations
• Boolean algebras realized by c.e. equivalence relations
• Classical recursion theory. The theory of functions and sets of natural numbers.
• Computable quotient presentations of models of arithmetic and set theory
• Computable structures and the hyperarithmetical hierarchy
• Effective inseparability and its applications
• Graphs realised by r.e. equivalence relations
• Joins and meets in the structure of ceers
• Linear orders realized by c.e. equivalence relations
• Reducibilities among equivalence relations induced by recursively enumerable structures
• THE WORD PROBLEM
• The theory of ceers computes true arithmetic
• 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)