Some orbits for E

DOI10.1016/S0168-0072(00)00060-9zbMATH Open0969.03051MaRDI QIDQ1840464FDOQ1840464

Authors: Eberhard Herrmann, Peter A. Cholak, Rodney G. Downey 

Publication date: 30 September 2001

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Recommendations

• On the orbits of computably enumerable sets
• The Complexity of Orbits of Computably Enumerable Sets
• Publication:3487324
• Boolean algebras and orbits of the lattice of r.e sets modulo the finite sets
• There is no fat orbit

zbMATH Keywords

maximalautomorphismorbitscomputably enumerabledefinable

Mathematics Subject Classification ID

Recursively (computably) enumerable sets and degrees (03D25)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Automorphisms of the lattice of recursively enumerable sets. I: Maximal sets
• Classes of Recursively Enumerable Sets and Degrees of Unsolvability
• Classical recursion theory. Vol. II
• Automorphisms of the Lattice of Recursively Enumerable Sets: Promptly Simple Sets
• Post's program and incomplete recursively enumerable sets.
• Codable sets and orbits of computably enumerable sets
• The Δ₃⁰-automorphism method and noninvariant classes of degrees
• Automorphisms of the lattice of recursively enumerable sets: Orbits
• Automorphisms of the lattice of recursively enumerable sets
• Diagonals and semihyperhypersimple sets
• Diagonals and -maximal sets
• A non-inversion theorem for the jump operator
• Splitting theorems in recursion theory
• There is no fat orbit
• Recursively enumerable generic sets
• Jumps of Hemimaximal Sets
• Minimal pairs and high recursively enumerable degrees
• A jump class of noncappable degrees
• Minimal 1-degrees and truth-table reducibility
• The translation theorem
• Recursion, metarecursion, and inclusion
• Title not available (Why is that?)

Cited In (9)

• Orbits of computably enumerable sets: Low sets can avoid an upper cone
• Orbits in strips
• \(\mathcal{D}\)-maximal sets
• On splits of computably enumerable sets
• Equivalence of set- and bag-valued orbits
• On the orbits of computably enumerable sets
• Title not available (Why is that?)
• The Complexity of Orbits of Computably Enumerable Sets
• Extension theorems, orbits, and automorphisms of the computably enumerable sets

This page was built for publication: Some orbits for \({\mathcal E}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1840464)