Considerable work has been done in developing the relationship between ∗-orderings, ∗valuations and the reduced theory of Hermitian forms over a skewfield with involution [12] [13] [14] [15] [16] [23] [24]. This generalizes the well-known theory in the commutative case; e.g., see [4] [6] [7] [27]. In the commutative theory, formally real function fields provide a rich source of examples [6]. In...

We describe contributions to algorithmic proof techniques for deciding the satisfiability of boolean combinations of many-variable nonlinear polynomial equations and inequalities over the real and complex numbers. In the first half, we present an abstract theory of Gröbner basis construction algorithms for algebraically closed fields of characteristic zero and use it to introduce and prove the ...

In this paper we continue the investigation into the group of algebras with uniformly distributed invariants, U(k’), and its relation to the Schur subgroup S(K), undertaken in [6, 71. We maintain the notation of [6, 71. In the first section we investigate U(K) for a real quadratic field K. We calculate generators of U(K) explicitly. In the second section we investigate U(K) for other real field...

In this paper, we study the level lowering problem for mod 2 representations of the absolute Galois group of a totally real field F. In the case F = Q, this was done by Buzzard; here, we generalise some of Buzzard’s results to higher weight and arbitrary totally real fields, using Rajaei’s generalisation of Ribet’s theorem and previous work of Fujiwara and the author. 2000 Mathematics Subject C...