Abstract
We describe the Ax-Kochen definable subsets of the value group of a Hensel field and apply our results to a problem on identifying invariant factors in Hecke algebras.
Citation
Michael C. Laskowski. "An application of Kochen’s theorem." J. Symbolic Logic 68 (4) 1181 - 1188, December 2003. https://doi.org/10.2178/jsl/1067620180
Information
Published: December 2003
First available in Project Euclid: 31 October 2003
zbMATH: 1057.03027
MathSciNet: MR2017348
Digital Object Identifier: 10.2178/jsl/1067620180
Rights: Copyright © 2003 Association for Symbolic Logic