ARITHMETICAL HIERARCHY AND CHAINS

被引：0
作者：
DRABBE, J
机构：
来源：
BULLETIN DE LA CLASSE DES SCIENCES ACADEMIE ROYALE DE BELGIQUE | 1973年 / 59卷 / 09期
关键词：
D O I：
暂无
中图分类号：
O [数理科学和化学]; P [天文学、地球科学]; Q [生物科学]; N [自然科学总论];
学科分类号：
07 ; 0710 ; 09 ;
摘要：
引用
收藏
页码：865 / 868
页数：4
相关论文
共 50 条
[21]   Arithmetical Hierarchy of the Besicovitch-Stability of Noisy Tilings [J].
Léo Gayral ;
Mathieu Sablik .
Theory of Computing Systems, 2023, 67 :1209-1240
[22]   APPLICATIONS OF FORCING TO DEGREE-THEORY OF ARITHMETICAL HIERARCHY [J].
SELMAN, AL .
PROCEEDINGS OF THE LONDON MATHEMATICAL SOCIETY, 1972, 25 (NOV) :586-&
[23]   FINITELY PRESENTED GROUPS AND ARITHMETICAL HIERARCHY - PRELIMINARY REPORT [J].
SACERDOT.GS .
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1972, 19 (06) :A713-&
[24]   Arithmetical Hierarchy of the Besicovitch-Stability of Noisy Tilings [J].
Gayral, Leo ;
Sablik, Mathieu .
THEORY OF COMPUTING SYSTEMS, 2023, 67 (06) :1209-1240
[25]   THE POSITION OF INDEX SETS OF IDENTIFIABLE SETS IN THE ARITHMETICAL HIERARCHY [J].
BRANDT, U .
INFORMATION AND CONTROL, 1986, 68 (1-3) :185-195
[26]   An arithmetical hierarchy of the law of excluded middle and related principles [J].
Akama, Y ;
Berardi, S ;
Hayashi, S ;
Kohlenbach, U .
19TH ANNUAL IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, PROCEEDINGS, 2004, :192-201
[27]   Achilles and the Tortoise climbing up the hyper-arithmetical hierarchy [J].
Bournez, O .
THEORETICAL COMPUTER SCIENCE, 1999, 210 (01) :21-71
[28]   On the prolongation of a hierarchy of hydrodynamic chains [J].
Shabat, AB ;
Alonso, LM .
NEW TRENDS IN INTEGRABILITY AND PARTIAL SOLVABILITY, 2004, 132 :263-280
[29]   EPISTEMIC ENTRENCHMENT AND ARITHMETICAL HIERARCHY (VOL 62, PG 79, 1993) [J].
HAJEK, P .
ARTIFICIAL INTELLIGENCE, 1994, 65 (01) :191-191
[30]   Generalized r-cohesiveness and the arithmetical hierarchy: A correction to "generalized cohesiveness" [J].
Jockusch, CG ;
Lakins, TJ .
JOURNAL OF SYMBOLIC LOGIC, 2002, 67 (03) :1078-1082
12345