On the Divergence of Extension Procedures in Isol Theory

DOI10.2307/2044251zbMath0481.03027OpenAlexW4251152034MaRDI QIDQ3937381

Thomas G. McLaughlin

Publication date: 1981

Full work available at URL: https://doi.org/10.2307/2044251

zbMATH Keywords

combinatorial functionsNerode extensionMyhill extension

Mathematics Subject Classification ID

Recursive equivalence types of sets and structures, isols (03D50)

Related Items (1)

Myhill's work in recursion theory

Cites Work

• Unnamed Item
• Unnamed Item
• Extensions to isols
• Recursive equivalence types and combinatorial functions
• On the Degrees of Universal Regressive Isols.
• The positive properties of isolic integers

This page was built for publication: On the Divergence of Extension Procedures in Isol Theory