Solution of a problem of Tarski
A. Robinson (1959)
Fundamenta Mathematicae
Similarity:
A. Robinson (1959)
Fundamenta Mathematicae
Similarity:
Laureano González-Vega, Henri Lombardi (1992)
Extracta Mathematicae
Similarity:
Let K be an ordered field and R its real closure. A semipolynomial will be defined as a function from R to R obtained by composition of polynomial functions and the absolute value. Every semipolynomial can be defined as a straight-line program containing only instructions with the following type: polynomial, absolute value, sup and inf and such a program will be called a semipolynomial expression. It will be proved, using the ordinary real positivstellensatz, a general real positivstellensatz...
G. De Marco, M. Richter (1971)
Rendiconti del Seminario Matematico della Università di Padova
Similarity:
D. W. Dubois, A. Bukowski (1979)
Revista Matemática Hispanoamericana
Similarity:
Jan-Hendrik Evertse (1986)
Acta Arithmetica
Similarity:
Ladislav Skula (2004)
Acta Mathematica Universitatis Ostraviensis
Similarity:
Masayoshi Nagata (1974-1975)
Séminaire Dubreil. Algèbre et théorie des nombres
Similarity:
Paulo Ribenboim (1984)
Rendiconti del Seminario Matematico della Università di Padova
Similarity: