1. Diophantine problems over local fields. I;Ax, James;Amer. J. Math.,1965
2. 2. C. Chevalley, Généralisation de la théorie du corps de classes pour les extensions infinies, J. Math. Pures Appl. (9) 15 (1936), 359-371.
3. 3. P. J. Cohen, Decision procedures for real and p-adic fields, Unpublished.
4. Reduced direct products;Frayne, T.;Fund. Math.,1962
5. Finite and infinite primes for rings and fields;Harrison, D. K.;Mem. Amer. Math. Soc.,1966