Q3942950 (Q3942950): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
| Property / MaRDI profile type | |||
| Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Latest revision as of 13:36, 5 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
