Recursive equivalence types and combinatorial functions

DOI10.1090/S0002-9904-1958-10241-4MaRDI QIDQ3256315zbMATH OpenOpenAlexFDO

Authors John Myhill

Publication date 1958

Published in Bulletin of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/s0002-9904-1958-10241-4

zbMATH Keywords

philosophy and foundations of mathematics

Cites work

• scientific article; zbMATH DE number 3394122 (Why is no real title available?)
• On completely recursively enumerable classes and their key arrays

Cited in

(18)

• Ideals in isols containing a set of regressive isols
• Bibliography of John Myhill
• Myhill's work in recursion theory
• Cancellation laws for polynomial-time \(p\)-isolated sets
• Extending finite subsets of an immune set
• Additive relations among recursive equivalence types
• Universal isols
• Solution of a problem of R. Friedberg
• The minimum of two regressive isols
• Incompatible extensions of combinatorial functions
• On the Divergence of Extension Procedures in Isol Theory
• Recursive equivalence types and groups
• A choice free theory of Dedekind cardinals
• A characterization of the orders of regressive ω-groups
• Nonrecursive combinatorial functions
• Extension Methods in Cardinal Arithmetic
• The divisibility of isols by powers of primes
• Elementary properties of the group of isolic integers

This page was built for publication: Recursive equivalence types and combinatorial functions

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