scientific article; zbMATH DE number 3394122

zbMath0249.02021MaRDI QIDQ5661491

J. C. E. Dekker, John Myhill

Publication date: 1960

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Recursively (computably) enumerable sets and degrees (03D25) Recursive equivalence types of sets and structures, isols (03D50)

Related Items (41)

Realizability and recursive set theory ⋮ Unnamed Item ⋮ Extending finite subsets of an immune set ⋮ Unnamed Item ⋮ Polynomial-time axioms of choice and polynomial-time cardinality ⋮ Elementary Differences Between the Isols and the Co-Simple Isols ⋮ Paradox and potential infinity ⋮ Recursive equivalence types and combinatorial functions ⋮ The Summation of Certain Series of Infinite Regressive Isols ⋮ Semirecursive Sets and Positive Reducibility ⋮ Unnamed Item ⋮ Higher-Order Indecomposable Isols ⋮ Ideals in isols containing a set of regressive isols ⋮ On the Minimality of Tame Models in the Isols ⋮ Bibliography of John Myhill ⋮ Myhill's work in recursion theory ⋮ Eight problems about Nerode semirings (recursive ultrapowers) ⋮ Cancellation laws for polynomial-time \(p\)-isolated sets ⋮ On co-simple isols and their intersection types ⋮ On Reducibility by Recursive Functions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Universal Regressive Isols ⋮ Isols and Burnside's lemma ⋮ Unnamed Item ⋮ A hierarchy of independent \(\omega\)-processions of cosimple isols ⋮ Infinite sums and products of isol integers ⋮ Unnamed Item ⋮ Non-linear combinatorial functions of isols ⋮ Regressive upper bounds ⋮ An isolic generalization of Cauchy's theorem for finite groups ⋮ Additive relations among recursive equivalence types ⋮ Universal isols ⋮ Almost Recursively Enumerable Sets ⋮ On a hierarchy of sets. III ⋮ Congruences in isols with a finite modulus ⋮ The factorial function for isols ⋮ Recursive digraphs, splinters and cylinders ⋮ … and so on: Schütte on Naming Ordinals ⋮ La théorie des fonctions récursives et ses applications. (Exposé d'information générale) ⋮ The recursive equivalence type of a class of sets

This page was built for publication: