scientific article; zbMATH DE number 841087

MaRDI QIDQ4863243zbMATH OpenFDO

Authors Eberhard Herrmann

Publication date 8 October 1996

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)

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

Cited in

(5)

• Definable structures in the lattice of recursively enumerable sets
• 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
• scientific article; zbMATH DE number 3950506 (Why is no real title available?)

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)