Myhill's work in recursion theory

DOI10.1016/0168-0072(92)90067-AzbMath0774.03026MaRDI 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)

zbMATH Keywords

Baire category; combinatorial functions; isomorphism theorems; isols; creative sets; recursive equivalence types

Mathematics Subject Classification ID

01A60: History of mathematics in the 20th century

03-03: History of mathematical logic and foundations

03D20: Recursive functions and relations, subrecursive hierarchies

03D25: Recursively (computably) enumerable sets and degrees

03D50: Recursive equivalence types of sets and structures, isols

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item