Q3942950 (Q3942950): Difference between revisions
From MaRDI portal
Created a new Item |
Added link to MaRDI item. |
||
| links / mardi / name | links / mardi / name | ||
Revision as of 22:52, 5 February 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
