Sums of Squares

&
Journal of Symbolic Logic 31 (1):128-129 (1966)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2270660

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,590

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Leon Henkin, G. Kreisel, Sums of Squares. [REVIEW]Abraham Robinson - 1966 - Journal of Symbolic Logic 31 (1):128-129.
Positive definite functions over regular f-rings and representations as sums of squares.W. A. MacCaull - 1989 - Annals of Pure and Applied Logic 44 (3):243-257.
Leon Henkin. Sums of squares. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 284–291. [REVIEW]Abraham Robinson - 1966 - Journal of Symbolic Logic 31 (1):128-128.
Kreisel G.. Sums of squares. Summaries of talks presented at the Summer Institute for Symbolic Logic, Cornell University, 1957, 2nd edn., Communications Research Division, Institute for Defense Analyses, Princeton, N.J., 1960, pp. 313–320. [REVIEW]Abraham Robinson - 1966 - Journal of Symbolic Logic 31 (1):128-129.
A nullstellensatz and a positivstellensatz for ordered differential fields.Quentin Brouette - 2013 - Mathematical Logic Quarterly 59 (3):247-254.
On Hilbert's 17th problem and Pfister's multiplicative formulae for the ring of real analytic functions.Francesca Acquistapace, Fabrizio Broglia & José F. Fernando - 2014 - Annali della Scuola Normale Superiore di Pisa- Classe di Scienze 13 (2):333-369.
Solution of a problem of Leon Henkin.M. H. Löb - 1955 - Journal of Symbolic Logic 20 (2):115-118.
Review: Leon Henkin, Internal Semantics and Algebraic Logic. [REVIEW]Melvin Fitting - 1977 - Journal of Symbolic Logic 42 (2):315-315.
Review: Leon Henkin, Are Logic and Mathematics Identical? [REVIEW]Alfons Borgers - 1964 - Journal of Symbolic Logic 29 (3):141-142.
Henkin Leon. Completeness in the theory of types.Rózsa Péter - 1951 - Journal of Symbolic Logic 16 (1):72-73.

Analytics

Added to PP
2015-02-05

Downloads
13 (#288,494)

6 months
1 (#1,912,481)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Relecture constructive de la théorie d'Artin-Schreier.Henri Lombardi - 1998 - Annals of Pure and Applied Logic 91 (1):59-92.
Artin-Schreier theory for commutative regular rings.L. van den Dries - 1977 - Annals of Mathematical Logic 12 (2):113.

Add more citations

References found in this work

No references found.

Add more references