Reverse Mathematics and Algebraic Field Extensions

DOI10.3233/COM-13021zbMath1308.03038arXiv1209.4944OpenAlexW1855208156MaRDI QIDQ5413741

Jeffry L. Hirst, Paul Shafer, François G. Dorais

Publication date: 30 April 2014

Published in: Computability (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1209.4944

zbMATH Keywords

Galois theoryreverse mathematicsalgebraic field extensions

Mathematics Subject Classification ID

Algebraic field extensions (12F05) Foundations of classical theories (including reverse mathematics) (03B30)

Related Items

Lifting proofs from countable to uncountable mathematics