D. Skordev's hypothesis

DOI10.1007/BF01984689zbMath0614.03047MaRDI QIDQ1820155

A. V. Dichev

Publication date: 1985

Published in: Algebra and Logic (Search for Journal in Brave)

zbMATH Keywords

admissible functionadmissibilitysearch computabilitysearch computable functionSkordev's conjecture

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45) Abstract and axiomatic computability and recursion theory (03D75)

Cites Work

• Abstract First Order Computability. I
• Unnamed Item

This page was built for publication: D. Skordev's hypothesis