Isomorphism of lattices of recursively enumerable sets

DOI10.1090/S0002-9947-97-01604-8MaRDI QIDQ4337954zbMATH OpenOpenAlexFDO

Authors Todd Hammond

Publication date 27 May 1997

Published in Transactions of the American Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1090/s0002-9947-97-01604-8

zbMATH Keywords

recursively enumerable setsTuring jumporacleeffective embeddingeffective isomorphism

Mathematics Subject Classification ID

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

Recommendations

• Nonisomorphism of lattices of recursively enumerable sets
• Characterization of Recursively Enumerable Sets with Supersets Effectively Isomorphic to all Recursively Enumerable Sets
• Congruence relations on lattices of recursively enumerable sets
• Definable structures in the lattice of recursively enumerable sets

Cites work

• scientific article; zbMATH DE number 4091484 (Why is no real title available?)
• Automorphisms of the lattice of recursively enumerable sets. I: Maximal sets
• Automorphisms of the lattice of recursively enumerable sets. Part II: Low sets
• Characterization of Recursively Enumerable Sets with Supersets Effectively Isomorphic to all Recursively Enumerable Sets
• Hierarchies of Boolean algebras
• Nonisomorphism of lattices of recursively enumerable sets
• On the Lattice of Recursively Enumerable Sets
• Theory of Formal Systems. (AM-47)

Cited in

(8)

• Definable structures in the lattice of recursively enumerable sets
• The isomorphism class of a set of lattices
• Nonisomorphism of lattices of recursively enumerable sets
• The lattice of recursively enumerable substructures of an effective closure system
• Characterization of Recursively Enumerable Sets with Supersets Effectively Isomorphic to all Recursively Enumerable Sets
• Property of t-retraceability and automorphisms of the lattice of recursively enumerable sets
• scientific article; zbMATH DE number 4116515 (Why is no real title available?)
• Congruence relations on lattices of recursively enumerable sets

This page was built for publication: Isomorphism of lattices of recursively enumerable sets

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