Geodesic
PRIMITIVE RECURSIVE DECIDABILITY FOR THE RING OF INTEGERS OF THE COMPOSITUM OF ALL SYMMETRIC EXTENSIONS OF Q
Glasgow mathematical journal, Tome 63 (2021) no. 2, pp. 291-296

Voir la notice de l'article provenant de la source Cambridge

DOI

Let Qsymm be the compositum of all symmetric extensions of Q, i.e., the finite Galois extensions with Galois group isomorphic to Sn for some positive integer n, and let Zsymm be the ring of integers inside Qsymm. Then, TH(Zsymm) is primitive recursively decidable. 
JARDEN, MOSHE; RAZON, AHARON. PRIMITIVE RECURSIVE DECIDABILITY FOR THE RING OF INTEGERS OF THE COMPOSITUM OF ALL SYMMETRIC EXTENSIONS OF Q. Glasgow mathematical journal, Tome 63 (2021) no. 2, pp. 291-296. doi: 10.1017/S001708952000018X
@article{10_1017_S001708952000018X,
     author = {JARDEN, MOSHE and RAZON, AHARON},
     title = {PRIMITIVE {RECURSIVE} {DECIDABILITY} {FOR} {THE} {RING} {OF} {INTEGERS} {OF} {THE} {COMPOSITUM} {OF} {ALL} {SYMMETRIC} {EXTENSIONS} {OF} {Q}},
     journal = {Glasgow mathematical journal},
     pages = {291--296},
     year = {2021},
     volume = {63},
     number = {2},
     doi = {10.1017/S001708952000018X},
     url = {http://geodesic.mathdoc.fr/articles/10.1017/S001708952000018X/}
}
TY  - JOUR
AU  - JARDEN, MOSHE
AU  - RAZON, AHARON
TI  - PRIMITIVE RECURSIVE DECIDABILITY FOR THE RING OF INTEGERS OF THE COMPOSITUM OF ALL SYMMETRIC EXTENSIONS OF Q
JO  - Glasgow mathematical journal
PY  - 2021
SP  - 291
EP  - 296
VL  - 63
IS  - 2
UR  - http://geodesic.mathdoc.fr/articles/10.1017/S001708952000018X/
DO  - 10.1017/S001708952000018X
ID  - 10_1017_S001708952000018X
ER  - 
%0 Journal Article
%A JARDEN, MOSHE
%A RAZON, AHARON
%T PRIMITIVE RECURSIVE DECIDABILITY FOR THE RING OF INTEGERS OF THE COMPOSITUM OF ALL SYMMETRIC EXTENSIONS OF Q
%J Glasgow mathematical journal
%D 2021
%P 291-296
%V 63
%N 2
%U http://geodesic.mathdoc.fr/articles/10.1017/S001708952000018X/
%R 10.1017/S001708952000018X
%F 10_1017_S001708952000018X

Cité par Sources :