|
This article is cited in 2 scientific papers (total in 2 papers)
On a semilattice of numberings
V. G. Puzarenko Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences, Novosibirsk, Russia
Abstract:
We study some properties of a $\mathfrak c$-universal semilattice $\mathfrak A$ with the cardinality of the continuum, i.e., of an upper semilattice of $m$-degrees. In particular, it is shown that the quotient semilattice of such a semilattice modulo any countable ideal will be also $\mathfrak c$-universal. In addition, there exists an isomorphism $\imath\colon\mathfrak A\hookrightarrow\mathfrak A$ onto some ideal of the semilattice $\mathfrak A$ such that $\mathfrak A/\imath(\mathfrak A)$ will be also $\mathfrak c$-universal. Furthermore, a property of the group of its automorphisms is obtained. To study properties of this semilattice, the technique and methods of admissible sets are used. More exactly, it is shown that the semilattice $m\Sigma$-degrees $\mathrm L^{\mathbb{HF}(S)}_{m\Sigma}$ on the hereditarily finite superstructure $\mathbb{HF}(S)$ over a countable set $S$ will be a $\mathfrak c$-universal semilattice with the cardinality of the continuum.
Key words:
computably enumerable set, admissible set, $\mathbb A$-numbering , $m\Sigma$-reducibility, hereditarily finite superstructure, natural ordinal, upper semilattice, a $\mathfrak c$-universal semilattice.
Received: 16.10.2008
Citation:
V. G. Puzarenko, “On a semilattice of numberings”, Mat. Tr., 12:2 (2009), 170–209; Siberian Adv. Math., 20:2 (2010), 128–154
Linking options:
https://www.mathnet.ru/eng/mt187 https://www.mathnet.ru/eng/mt/v12/i2/p170
|
Statistics & downloads: |
Abstract page: | 390 | Full-text PDF : | 99 | References: | 67 | First page: | 3 |
|