Effectively hyperimmune sets and majorants
type: Item
instance of: scholarly article
title: Effectively hyperimmune sets and majorants
zbMATH Open document ID: 0615.03029
DOI: 10.1007/BF01156252
published in: Mathematical Notes
publication date: 1985-01-01T00:00:00Z
review text: The main results are: i) every effectively immune set which is a Boolean combination of r.e. sets has Turing degree 0', ii) every effectively hyperimmune set is effectively immune, iii) every infinite set which majorizes all p.r. functions is effectively hyperimmune, iv) every effectively hyperimmune set majorizes all recursive functions.
Mathematics Subject Classification ID: 03D25
zbMATH DE Number: 3995653
zbMATH Keywords: effectively immune set
zbMATH Keywords: Turing degree
zbMATH Keywords: effectively hyperimmune set
zbMATH Keywords: recursive functions
author: M. M. Arslanov
MaRDI profile type: Publication
cites work: Effectively Simple Sets
cites work: Completeness, the Recursion Theorem, and Effectively Simple Sets
cites work: Complete Recursively Enumerable Sets
cites work: Q5573961
cites work: Recursively enumerable sets of positive integers and their decision problems
cites work: Q5596776
cites work: Post's problem and his hypersimple set
cites work: A lattice property of Post's simple set
full work available at URL: https://doi.org/10.1007/bf01156252
OpenAlex ID: W2009837012
description: scientific article; zbMATH DE number 3995653