Embedding of the First Nonconstructive Ordinal into the Rogers Semilattices of Families of Arithmetic Sets

被引：1

作者：

Faizrahmanov, M. Kh. ^{[1
]}

机构：

[1] Kazan Volga Reg Fed Univ, Kazan, Russia

来源：

SIBERIAN MATHEMATICAL JOURNAL | 2023年 / 64卷 / 04期

基金：

俄罗斯科学基金会;

关键词：

numbering; Rogers semilattice; first nonconstructive ordinal;

D O I：

10.1134/S0037446623040146

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

We prove that there is an embedding of a linear order isomorphic to the first nonconstructive ordinal over each but the top element of the Rogers semilattice of an arbitrary S-n(0)-computable family (n = 2).

引用

页码：927 / 935

页数：9

共 19 条

[1] Embedding of the First Nonconstructive Ordinal into the Rogers Semilattices of Families of Arithmetic Sets
M. Kh. Faizrahmanov
Siberian Mathematical Journal, 2023, 64 : 927 - 935
[2] On the Embedding of the First Nonconstructive Ordinal in the Rogers Semilattices
Faizrahmanov, M. Kh.
MATHEMATICAL NOTES, 2023, 113 (5-6) : 723 - 730
[3] On the Embedding of the First Nonconstructive Ordinal in the Rogers Semilattices
M. Kh. Faizrahmanov
Mathematical Notes, 2023, 113 : 723 - 730
[4] Rogers semilattices of families of arithmetic sets
Badaev S.A.
Goncharov S.S.
Algebra and Logic, 2001, 40 (5) : 283 - 291
[5] Rogers semilattices of families of two embedded sets in the Ershov hierarchy
Badaev, Serikzhan A.
Manat, Mustafa
Sorbi, Andrea
MATHEMATICAL LOGIC QUARTERLY, 2012, 58 (4-5) : 366 - 376
[6] Rogers semilattices of finite partially ordered sets
Ershov Yu.L.
Algebra and Logic, 2006, 45 (1) : 26 - 48
[7] Rogers Semilattices for Families of Equivalence Relations in the Ershov Hierarchy
Bazhenov, N. A.
Kalmurzaev, B. S.
SIBERIAN MATHEMATICAL JOURNAL, 2019, 60 (02) : 223 - 234
[8] Rogers Semilattices for Families of Equivalence Relations in the Ershov Hierarchy
N. A. Bazhenov
B. S. Kalmurzaev
Siberian Mathematical Journal, 2019, 60 : 223 - 234
[9] LATTICE PROPERTIES OF ROGERS SEMILATTICES OF COMPUATBLE AND GENERALIZED COMPUTABLE FAMILIES
Faizrahmanov, Marat Khaidarovich
SIBERIAN ELECTRONIC MATHEMATICAL REPORTS-SIBIRSKIE ELEKTRONNYE MATEMATICHESKIE IZVESTIYA, 2019, 16 : 1927 - 1936
[10] Learning Ordinal Embedding from Sets
Diallo, Aissatou
Fuernkranz, Johannes
ENTROPY, 2021, 23 (08)

← 1 2 →