Primitive recursive decidability for large rings of algebraic integers inside the compositum of all symmetric extensions of Q

DOI10.1007/S11856-023-2531-7MaRDI QIDQ6584671FDOQ6584671

Aharon Razon

Publication date: 8 August 2024

Published in: Israel Journal of Mathematics (Search for Journal in Brave)

zbMATH Keywords

symmetric extensionsprimitive recursive decidabilitygalois extensionhilbertian presented field

Mathematics Subject Classification ID

Model-theoretic algebra (03C60) Separable extensions, Galois theory (12F10) Decidability of theories and sets of sentences (03B25) Decidability and field theory (12L05)

Cites Work

• Hilbertian fields and Galois representations
• Field Arithmetic
• Groupes de Picard et problèmes de Skolem. II
• Large normal extension of Hilbertian fields
• Algebraic Patching
• Rumely’s local global principle for algebraic 𝑃𝒮𝒞 fields over rings
• Pseudo algebraically closed fields over rings
• Elimination theory for the ring of algebraic integers.
• Strong approximation theorem for absolutely integral varieties over PSC Galois extensions of global fields
• Decidability and local-global principles
• Every finitely generated regular field extension has a stable transcendence base
• STRONG APPROXIMATION THEOREM FOR ABSOLUTELY IRREDUCIBLE VARIETIES OVER THE COMPOSITUM OF ALL SYMMETRIC EXTENSIONS OF A GLOBAL FIELD
• On stabilizers of algebraic function fields of one variable
• DECIDABLE ALGEBRAIC FIELDS
• PRIMITIVE RECURSIVE DECIDABILITY FOR THE RING OF INTEGERS OF THE COMPOSITUM OF ALL SYMMETRIC EXTENSIONS OF ℚ
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for publication: Primitive recursive decidability for large rings of algebraic integers inside the compositum of all symmetric extensions of \(\mathbb{Q}\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6584671)