A DNC function that computes no effectively bi-immune set (Q494640): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
| Property / Mathematics Subject Classification ID | |||
| Property / Mathematics Subject Classification ID: 03D28 / rank | |||
Normal rank | |||
| Property / zbMATH DE Number | |||
| Property / zbMATH DE Number: 6477388 / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
computability theory | |||
| Property / zbMATH Keywords: computability theory / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
recursion theory | |||
| Property / zbMATH Keywords: recursion theory / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
degree theory | |||
| Property / zbMATH Keywords: degree theory / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
DNC | |||
| Property / zbMATH Keywords: DNC / rank | |||
Normal rank | |||
| Property / zbMATH Keywords | |||
DNR | |||
| Property / zbMATH Keywords: DNR / rank | |||
Normal rank | |||
Revision as of 22:41, 30 June 2023
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A DNC function that computes no effectively bi-immune set |
scientific article |
Statements
A DNC function that computes no effectively bi-immune set (English)
0 references
1 September 2015
0 references
computability theory
0 references
recursion theory
0 references
degree theory
0 references
DNC
0 references
DNR
0 references
