Definable incompleteness and Friedberg splittings (Q3149989): Difference between revisions

From MaRDI portal
Set OpenAlex properties.
ReferenceBot (talk | contribs)
Changed an Item
 
Property / cites work
 
Property / cites work: Automorphisms of the lattice of recursively enumerable sets: Orbits / rank
 
Normal rank
Property / cites work
 
Property / cites work: Friedberg splittings of recursively enumerable sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: The intervals of the lattice of recursively enumerable sets determined by major subsets / rank
 
Normal rank
Property / cites work
 
Property / cites work: Definable properties of the computably enumerable sets / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Δ₃⁰-automorphism method and noninvariant classes of degrees / rank
 
Normal rank
Property / cites work
 
Property / cites work: Post's program and incomplete recursively enumerable sets. / rank
 
Normal rank
Property / cites work
 
Property / cites work: TWO RECURSIVELY ENUMERABLE SETS OF INCOMPARABLE DEGREES OF UNSOLVABILITY (SOLUTION OF POST'S PROBLEM, 1944) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Jumps of Hemimaximal Sets / rank
 
Normal rank

Latest revision as of 16:34, 4 June 2024

scientific article
Language Label Description Also known as
English
Definable incompleteness and Friedberg splittings
scientific article

    Statements

    Identifiers