scientific article; zbMATH DE number 4114609

zbMath0681.03025MaRDI QIDQ4729773

A. N. Degtev

Publication date: 1986

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

Gödel numberingreducibilitiesrecursive theorym-degrees of hereditary setsm-degrees of theoriesnonrecursive complete extensiontautological closure

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Other degrees and reducibilities in computability and recursion theory (03D30) Theory of numerations, effectively presented structures (03D45)

This page was built for publication:

<script> document.addEventListener("DOMContentLoaded", function() {

   var userId = mw.user.getId();
   if (userId) {
       document.getElementById("user-id-display").innerText = "User ID: " + userId;
   }

}); </script>

Loading User ID...