|
This article is cited in 1 scientific paper (total in 1 paper)
A semilattice of numberings. II
V. G. Puzarenko Sobolev Institute of Mathematics, Siberian Branch, Russian Academy of Sciences, Novosibirsk, Russia
Abstract:
$\mathfrak c$-Universal semilattices $\mathfrak A$ of the power of the continuum (of an upper semilattice of $m$-degrees ) on admissible sets are studied. Moreover, it is shown that a semilattice of $\mathbb{HF}(\mathfrak M)$-numberings of a finite set is $\mathfrak c$-universal if $\mathfrak M$ is a countable model of a $\mathfrak c$-simple theory.
Keywords:
computably enumerable set, admissible set, $\mathbb A$-numbering, $m\Sigma$-reducibility, hereditarily finite superstructure, natural ordinal, upper semilattice, $\mathfrak c$-universal semilattice.
Received: 06.03.2009 Revised: 09.03.2010
Citation:
V. G. Puzarenko, “A semilattice of numberings. II”, Algebra Logika, 49:4 (2010), 498–519; Algebra and Logic, 49:4 (2010), 340–353
Linking options:
https://www.mathnet.ru/eng/al451 https://www.mathnet.ru/eng/al/v49/i4/p498
|
Statistics & downloads: |
Abstract page: | 372 | Full-text PDF : | 87 | References: | 56 | First page: | 2 |
|