×

Continuous sums of squares of forms. (English) Zbl 0527.10016

The L. E. J. Brouwer Centen. Symp., Proc. Conf., Noordwijkerhout/ Holl. 1981, Stud. Logic Found. Math. 110, 65-75 (1982).

MSC:

11E10 Forms over real fields
11E76 Forms of degree higher than two
03F65 Other constructive mathematics
11U99 Connections of number theory and logic
11E20 General ternary and quaternary quadratic forms; forms of more than two variables
54H13 Topological fields, rings, etc. (topological aspects)