Effectivizing Inseparability

DOI10.1002/MALQ.19910370702MaRDI QIDQ3982856zbMATH OpenOpenAlexFDO

Authors John Case

Publication date 26 June 1992

Published in Zeitschrift für Mathematische Logik und Grundlagen der Mathematik (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1002/malq.19910370702

zbMATH Keywords

recursive inseparabilityeffective inseparable pair

Mathematics Subject Classification ID

Complexity of computation (including implicit computational complexity) (03D15) Recursive functions and relations, subrecursive hierarchies (03D20)

Recommendations

• On universal pairs in the Ershov hierarchy
• Minimal Degrees and Recursively Inseparable Pairs of Recursively Enumerable Sets
• scientific article; zbMATH DE number 4079407
• scientific article; zbMATH DE number 3900735

Cited in

(12)

• Constructivity conditions on immune sets
• Half of an inseparable pair
• scientific article; zbMATH DE number 3867312 (Why is no real title available?)
• scientific article; zbMATH DE number 4079407 (Why is no real title available?)
• Effectively nowhere simple sets
• Characterizing programming systems allowing program self-reference
• Broadcasting of inseparability
• Is independence an exception?
• Infinitary self-reference in learning theory
• Separating Without Any Ambiguity.
• Effective inseparability in a topological setting
• scientific article; zbMATH DE number 3900735 (Why is no real title available?)

This page was built for publication: Effectivizing Inseparability

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