On the indices of multiquadratic number fields
Attila Pethő, Michael E. Pohst (2012)
Acta Arithmetica
Similarity:
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
Attila Pethő, Michael E. Pohst (2012)
Acta Arithmetica
Similarity:
F. Constantinescu, J. G. Taylor (1973)
Recherche Coopérative sur Programme n°25
Similarity:
Enrico Bombieri, Julia Mueller, Umberto Zannier (2001)
Acta Arithmetica
Similarity:
Shabbir, Ghulam, Amur, Khuda Bux (2006)
APPS. Applied Sciences
Similarity:
G. Leloup (2003)
Collectanea Mathematica
Similarity:
We prove some properties similar to the theorem Ax-Kochen-Ershov, in some cases of pairs of algebraically maximal fields of residue characteristic p > 0. This properties hold in particular for pairs of Kaplansky fields of equal characteristic, formally p-adic fields and finitely ramified fields. From that we derive results about decidability of such extensions.
Jeffrey L. Stuart (2016)
Czechoslovak Mathematical Journal
Similarity:
M. D. Prešić (1970)
Matematički Vesnik
Similarity:
Paulo Ribenboim (1992)
Manuscripta mathematica
Similarity:
Ján Minác, Michel Spira (1990)
Mathematische Zeitschrift
Similarity:
Krzysztof Jan Nowak (1996)
Annales Polonici Mathematici
Similarity:
This paper presents a natural axiomatization of the real closed fields. It is universal and admits quantifier elimination.
Allison M. Pacelli, Michael Rosen (2009)
Acta Arithmetica
Similarity:
V. Sprindžuk (1974)
Acta Arithmetica
Similarity:
John C. Miller (2014)
Acta Arithmetica
Similarity:
The determination of the class number of totally real fields of large discriminant is known to be a difficult problem. The Minkowski bound is too large to be useful, and the root discriminant of the field can be too large to be treated by Odlyzko's discriminant bounds. We describe a new technique for determining the class number of such fields, allowing us to attack the class number problem for a large class of number fields not treatable by previously known methods. We give an application...