Effective choice functions and index sets

DOI10.1016/0022-0000(86)90035-8zbMath0615.03027OpenAlexW2064732075MaRDI QIDQ1820773

James C. jun. Owings

Publication date: 1986

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(86)90035-8

zbMATH Keywords

effective choice functionsize measuresstrongly effectively immune set

Mathematics Subject Classification ID

Recursive functions and relations, subrecursive hierarchies (03D20)

Cites Work

• Program size in restricted programming languages
• On the size of machines
• Unnamed Item

This page was built for publication: Effective choice functions and index sets