Alternative Characterizations of Precomplete Numerations

DOI10.1002/MALQ.19870330202zbMath0636.03039OpenAlexW1982037862MaRDI QIDQ3775544

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

precomplete numerationsErshov's second recursion theorem

Mathematics Subject Classification ID

Theory of numerations, effectively presented structures (03D45)

Related Items (1)

Precomplete numberings

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