scientific article
From MaRDI portal
Publication:3325711
zbMATH Open0539.03022MaRDI QIDQ3325711
Publication date: 1983
Title of this publication is not available (Why is that?)
surveyundecidabilityisomorphismsautomorphismsdecidabilityrecursively enumerable degreeslattice of recursively enumerable setsjump operatorposets of degrees of unsolvability
Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Recursively (computably) enumerable sets and degrees (03D25) Other degrees and reducibilities in computability and recursion theory (03D30)
Related Items (7)
Fundamentals of generalized recursion theory ⋮ Elementary descent recursion and proof theory ⋮ The Recursive Core ⋮ Alpha-structural recursion and induction ⋮ Title not available (Why is that?) ⋮ Theorem Proving in Higher Order Logics ⋮ CONCUR 2005 – Concurrency Theory
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3325711)
