Recursion relative to regressive functions

DOI10.1016/0003-4843(74)90002-3MaRDI QIDQ4767309zbMATH OpenOpenAlexFDO

Authors J. C. E. Dekker, Erik Ellentuck

Publication date 1974

Published in Annals of Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0003-4843(74)90002-3

Mathematics Subject Classification ID

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

Cited in

(2)

• Twilight graphs
• Isols and the pigeonhole principle

This page was built for publication: Recursion relative to regressive functions

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