The minimum of two regressive isols

DOI10.1007/BF01111167zbMath0122.01002MaRDI QIDQ2626678

J. C. E. Dekker

Publication date: 1964

Published in: Mathematische Zeitschrift (Search for Journal in Brave)

Full work available at URL: https://eudml.org/doc/170234

zbMATH Keywords

mathematical logic

Related Items

Uniformly introreducible sets, Hyper-torre isols, Embeddings of and into Nerode semirings, A characterization of the orders of regressive ω-groups, The Summation of Certain Series of Infinite Regressive Isols, Semirecursive Sets and Positive Reducibility, Ideals in isols containing a set of regressive isols, Eight problems about Nerode semirings (recursive ultrapowers), On co-simple isols and their intersection types, Unnamed Item, Unnamed Item, Combinatorial Isols and the Arithmetic of Dekker Semirings, A hierarchy of independent \(\omega\)-processions of cosimple isols, Models of arithmetic in \(A\)-isols, Meager and universal regressive isols, Infinite sums and products of isol integers, Unnamed Item, Regressive upper bounds, Unnamed Item, The recursive equivalence type of a class of sets, An Md-class of sets indexed by a regressive function

Cites Work

• Unnamed Item
• Congruences in isols with a finite modulus
• Extensions to isols
• The upper semi-lattice of degrees of recursive unsolvability
• TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944)
• Retraceable Sets
• Recursive equivalence types and combinatorial functions
• Three theorems on recursive enumeration. I. Decomposition. II. Maximal set. III. Enumeration without duplication