On some examples of upper semilattices of computable enumerations
From MaRDI portal
Cites work
Cited in
(7)- Two theorems on minimal generalized computable numberings
- The Rogers semilattices of generalized computable enumerations
- Theories of Rogers semilattices of analytical numberings
- Reductions between types of numberings
- Ideals without minimal elements in Rogers semilattices
- A family with a single minimal but not least numbering
- 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09
This page was built for publication: On some examples of upper semilattices of computable enumerations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1217117)