No label defined (Q3942950)
From MaRDI portal
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
