Q3942950 (Q3942950): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: author (P16): Item:Q2276951 |
||
| Property / author | |||
| Property / author: Thomas G. McLaughlin / rank | |||
Revision as of 11:42, 1 March 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
1982
0 references
hyperimmune sets
0 references
recursive equivalence types
0 references
regressive isols
0 references
retraceable sets
0 references
algebraic structure of the isols
0 references
meager sets
0 references
rate of growth of sets
0 references
degrees of unsolvability
0 references
unions of regressive sets
0 references
intersections
0 references
unit intervals
0 references
trees
0 references
extension procedures
0 references
universal Horn sentences
0 references
sums with respect to a regressive isol
0 references
Nerode extension
0 references
min function
0 references
embedding results
0 references
universal isols
0 references
Nerode's metatheorem
0 references
arithmetic of special subrings
0 references
undecidability
0 references
hyper-torre isols
0 references
isolic integers
0 references
