A CONTINUOUS, CONSTRUCTIVE SOLUTION TO HILBERT 17TH PROBLEM

[21] Hironaka H., 1974, P S PURE MATH, V29, P165

[22] Hu S-t, 1965, THEORY RETRACTS

[23] A SURVEY OF PROOF THEORY [J]. JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (03) : 321 - &

[24] Kreisel G., 1958, J SYMBOLIC LOGIC, P155

[25] KREISEL G, 1962, MATH REV A, V24, P336

[26] KREISEL G, 1978, ZENTRALBLATT, V374, P18

[27] KREISEL G, 1982, LEJ BROUW CENT S, P217

[28] LAM TY, 1980, RING THEORY ALGEBRA, V3

[29] MALCEV AI, 1973, SELECTED QUESTIONS A, P264

[30] TRIM STRATIFICATION OF SEMI-ANALYTIC SETS [J]. MANUSCRIPTA MATHEMATICA, 1978, 25 (01) : 17 - 46

[21] Hironaka H., 1974, P S PURE MATH, V29, P165

[22] Hu S-t, 1965, THEORY RETRACTS

[23] A SURVEY OF PROOF THEORY [J]. JOURNAL OF SYMBOLIC LOGIC, 1968, 33 (03) : 321 - &

[24] Kreisel G., 1958, J SYMBOLIC LOGIC, P155

[25] KREISEL G, 1962, MATH REV A, V24, P336

[26] KREISEL G, 1978, ZENTRALBLATT, V374, P18

[27] KREISEL G, 1982, LEJ BROUW CENT S, P217

[28] LAM TY, 1980, RING THEORY ALGEBRA, V3

[29] MALCEV AI, 1973, SELECTED QUESTIONS A, P264

[30] TRIM STRATIFICATION OF SEMI-ANALYTIC SETS [J]. MANUSCRIPTA MATHEMATICA, 1978, 25 (01) : 17 - 46