scientific article; zbMATH DE number 841087

zbMATH Open0847.03020MaRDI QIDQ4863243FDOQ4863243

Authors: Eberhard Herrmann 

Publication date: 8 October 1996

Title of this publication is not available (Why is that?)

Recommendations

• The intervals of the lattice of recursively enumerable sets determined by major subsets
• Global and local admissibility. II. Major subsets and automorphisms
• scientific article; zbMATH DE number 3924766
• scientific article; zbMATH DE number 3950506
• Definable structures in the lattice of recursively enumerable sets

zbMATH Keywords

decision procedureelementary theorieslattice of r.e. setsfactor lattice

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Recursively (computably) enumerable sets and degrees (03D25)

Cited In (5)

• The intervals of the lattice of recursively enumerable sets determined by major subsets
• On densely simple sets with retraceable complements
• Computably enumerable sets and related issues
• Title not available (Why is that?)
• Definable structures in the lattice of recursively enumerable sets

This page was built for publication:

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