Alternative Characterizations of Precomplete Numerations

DOI10.1002/MALQ.19870330202MaRDI QIDQ3775544zbMATH OpenOpenAlexFDO

Authors Akira Kanda, Alistair H. Lachlan

Publication date 1987

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.19870330202

zbMATH Keywords

Ershov's second recursion theoremprecomplete numerations

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Recommendations

• Fixed point theorems for precomplete numberings
• Partial numberings and precompleteness
• scientific article; zbMATH DE number 58108
• Some remarks on completions of numberings
• scientific article; zbMATH DE number 4125388
• PRELOCALIZATIONS AND NATURAL NUMBERS
• A new characterization of arithmeticity
• Partial combinatory algebra and generalized numberings
• scientific article; zbMATH DE number 65750
• An arithmetical completeness theorem for pre-permutations

Cited in

(9)

• Retracts of numerations
• Precomplete numberings
• Fixed point theorems for precomplete numberings
• Some remarks on completions of numberings
• scientific article; zbMATH DE number 58108 (Why is no real title available?)
• scientific article; zbMATH DE number 4125388 (Why is no real title available?)
• Acceptable Numerations of Function Spaces
• Partial numberings and precompleteness
• Extremal numberings and fixed point theorems

This page was built for publication: Alternative Characterizations of Precomplete Numerations

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