The Bass-Milnor-Serre theorem for nonstandard models in Peano arithmetic

DOI10.2307/2275153zbMath0791.03044OpenAlexW2124756034MaRDI QIDQ4283077

Anatole Khelif

Publication date: 14 March 1994

Published in: Journal of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2307/2275153

zbMATH Keywords

Peano ringsnonstandard models of Peano arithmeticBass-Milnor-Serre theoremfinite extensions of fraction fieldsnonstandard rings

Mathematics Subject Classification ID

Nonstandard models of arithmetic (03H15)

Cites Work

• Solution of the congruence subgroup problem for \(\text{SL}_ n\) \((n\geq 3)\) and \(\text{Sp}_{2n}\) \((n\geq 2)\)
• An elementary proof of Dirichlet's theorem about primes in an arithmetic progression
• Bounded Elementary Generation of SL n (O)

This page was built for publication: The Bass-Milnor-Serre theorem for nonstandard models in Peano arithmetic