Article contents
PRIMITIVE RECURSIVE DECIDABILITY FOR THE RING OF INTEGERS OF THE COMPOSITUM OF ALL SYMMETRIC EXTENSIONS OF ℚ
Published online by Cambridge University Press: 08 May 2020
Abstract
Let ℚsymm be the compositum of all symmetric extensions of ℚ, i.e., the finite Galois extensions with Galois group isomorphic to Sn for some positive integer n, and let ℤsymm be the ring of integers inside ℚsymm. Then, TH(ℤsymm) is primitive recursively decidable.
MSC classification
- Type
- Research Article
- Information
- Copyright
- © The Author(s) 2020. Published by Cambridge University Press on behalf of Glasgow Mathematical Journal Trust
Footnotes
In memory of Wulf-Dieter Geyer (1939–2019)
References
- 1
- Cited by