PRIMITIVE RECURSIVE DECIDABILITY FOR THE RING OF INTEGERS OF THE COMPOSITUM OF ALL SYMMETRIC EXTENSIONS OF ℚ

DOI10.1017/S001708952000018XzbMath1473.12005MaRDI QIDQ5858949

Moshe Jarden, Aharon Razon

Publication date: 15 April 2021

Published in: Glasgow Mathematical Journal (Search for Journal in Brave)

zbMATH Keywords

bounded ramification; embedding problems; function fields of positive characteristic

Mathematics Subject Classification ID

12F10: Separable extensions, Galois theory

12E30: Field arithmetic