scientific article; zbMATH DE number 3273186

zbMath0171.27001MaRDI QIDQ5557925

J. C. E. Dekker

Publication date: 1962

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

zbMATH Keywords

recursion theory, constructive mathematics

Related Items (22)

Hereditarily retraceable isols ⋮ The minimum of two regressive isols ⋮ Co-immune retraceable sets ⋮ A characterization of the orders of regressive ω-groups ⋮ On the Divergence of Extension Procedures in Isol Theory ⋮ Retraceable Sets and Recursive Permutations ⋮ The Summation of Certain Series of Infinite Regressive Isols ⋮ Semirecursive Sets and Positive Reducibility ⋮ Recursion-theoretic ranking and compression ⋮ The Family of all Recursively Enumerable Classes of Finite Sets ⋮ Unnamed Item ⋮ Closure and nonclosure properties of the classes of compressible and rankable sets ⋮ Unnamed Item ⋮ Infinite sums and products of isol integers ⋮ Regressive upper bounds ⋮ Condition, equilibration and pivoting in linear algebraic systems ⋮ A note on regressive isols ⋮ Regressive sets of order \(n\) ⋮ An answer to a question by P. R. Young ⋮ Almost Recursively Enumerable Sets ⋮ Unnamed Item ⋮ The recursive equivalence type of a class of sets

This page was built for publication: