Rogers semilattices of families of two embedded sets in the Ershov hierarchy (Q2910992)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Rogers semilattices of families of two embedded sets in the Ershov hierarchy |
scientific article; zbMATH DE number 6081356
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Rogers semilattices of families of two embedded sets in the Ershov hierarchy |
scientific article; zbMATH DE number 6081356 |
Statements
Rogers semilattices of families of two embedded sets in the Ershov hierarchy (English)
0 references
12 September 2012
0 references
computable numbering
0 references
computable ordinal
0 references
ordinal notation
0 references
Ershov hierarchy
0 references
Rogers semilattice
0 references
This paper examines computable numberings, specifically the Rogers semilattices induced by families of sets at different levels of the Ershov hierarchy -- see [\textit{S. A. Badaev} and \textit{Zh. T. Talasbaeva}, in: Mathematical logic in Asia. Proceedings of the 9th Asian logic conference, Novosibirsk, Russia, 2005. Hackensack, NJ: World Scientific. 17--30 (2006; Zbl 1123.03042)]. The authors focus on the possible cardinality of such a semilattice, in particular, conditions under which the semilattice is infinite and conditions under which it is a singleton.
0 references
