|
This article is cited in 24 scientific papers (total in 24 papers)
Local Structure of Rogers Semilattices of $\Sigma^0_n$-Computable Numberings
S. Yu. Podzorov Sobolev Institute of Mathematics, Siberian Branch of the Russian Academy of Sciences
Abstract:
We deal in specific features of the algebraic structure of Rogers semilattices of $\Sigma^0_n$ – computable numberings, for $n\geqslant2$. It is proved that any Lachlan semilattice is embeddable (as an ideal) in such every semilattice, and that over an arbitrary non $0'$-principal element of such a lattice, any Lachlan semilattice is embeddable (as an interval) in it.
Keywords:
Rogers semilattice, Lachlan semilattice, $\Sigma^0_n$-computable numbering.
Received: 23.04.2004
Citation:
S. Yu. Podzorov, “Local Structure of Rogers Semilattices of $\Sigma^0_n$-Computable Numberings”, Algebra Logika, 44:2 (2005), 148–172; Algebra and Logic, 44:1 (2005), 82–94
Linking options:
https://www.mathnet.ru/eng/al99 https://www.mathnet.ru/eng/al/v44/i2/p148
|
Statistics & downloads: |
Abstract page: | 445 | Full-text PDF : | 139 | References: | 75 | First page: | 1 |
|