Myhill's work in recursion theory

DOI10.1016/0168-0072(92)90067-AzbMath0774.03026OpenAlexW2021582348MaRDI QIDQ1192344

J. C. E. Dekker, Erik Ellentuck

Publication date: 27 September 1992

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0168-0072(92)90067-a

zbMATH Keywords

Baire categorycombinatorial functionsisomorphism theoremsisolscreative setsrecursive equivalence types

Mathematics Subject Classification ID

History of mathematics in the 20th century (01A60) History of mathematical logic and foundations (03-03) Recursive functions and relations, subrecursive hierarchies (03D20) Recursively (computably) enumerable sets and degrees (03D25) Recursive equivalence types of sets and structures, isols (03D50)

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The uniqueness of finite division for recursive equivalence types
• Extensions to isols
• Extensions to isolic integers
• Category methods in recursion theory
• Classical recursion theory. Vol. II
• Diophantine correct non-standard models in the isols
• The universal properties of Dedekind finite cardinals
• Degrees of unsolvability associated with classes of formalized theories
• Recursive equivalence types and combinatorial functions
• Incompatible extensions of combinatorial functions
• Some Properties of ∀∃ Models in the Isols
• On the Divergence of Extension Procedures in Isol Theory
• Isols and the pigeonhole principle
• “Recursive isomorphism” and effectively extensible theories
• Recursively enumerable sets of positive integers and their decision problems
• Creative sets

This page was built for publication: Myhill's work in recursion theory