Fine hierarchy and definable index sets (Q2366368): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
| Property / cites work | |||
| Property / cites work: Q4712236 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Arithmetic hierarchy and ideals of enumerated Boolean algebras / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The Boolean algebra of logic / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q3320353 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: Q4205433 / rank | |||
Normal rank | |||
| Property / cites work | |||
| Property / cites work: The computable enumerations of families of general recursive functions / rank | |||
Normal rank | |||
Revision as of 17:12, 17 May 2024
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fine hierarchy and definable index sets |
scientific article |
Statements
Fine hierarchy and definable index sets (English)
0 references
29 June 1993
0 references
numberings of recursively enumerable Boolean algebras
0 references
fine hierarchy
0 references
universality
0 references
\(m\)-degrees of definable index sets
0 references
r.e. sets
0 references
r.e. \(m\)- degrees
0 references
