Positive definite functions over regular f-rings and representations as sums of squares

Annals of Pure and Applied Logic 44 (3):243-257 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(89)90033-x

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 106,169

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

The Vietoris functor and modal operators on rings of continuous functions.G. Bezhanishvili, L. Carai & P. J. Morandi - 2022 - Annals of Pure and Applied Logic 173 (1):103029.
Boolean products of real closed valuation rings and fields.Jorge I. Guier - 2001 - Annals of Pure and Applied Logic 112 (2-3):119-150.
On existential definitions of c.e. subsets of rings of functions of characteristic 0.Russell Miller & Alexandra Shlapentokh - 2022 - Annals of Pure and Applied Logic 173 (4):103076.
Superstability, noetherian rings and pure-semisimple rings.Marcos Mazari-Armida - 2021 - Annals of Pure and Applied Logic 172 (3):102917.
The Woods–Erdös conjecture for polynomial rings.Maxim Vsemirnov - 2001 - Annals of Pure and Applied Logic 113 (1-3):331-344.
First-order definitions of rational functions and S -integers over holomorphy rings of algebraic functions of characteristic 0.Alexandra Shlapentokh - 2005 - Annals of Pure and Applied Logic 136 (3):267-283.
Leloup, G., Rings of monoids elementarily equivalent to polynomial rings Miller, C., Expansions of the real field with power functions Ozawa, M., Forcing in nonstandard analysis Rathjen, M., Proof theory of reflection. [REVIEW]L. D. Beklemishev, O. V. Belegradek, K. J. Davey & J. L. Krivine - 1994 - Annals of Pure and Applied Logic 68:343.
Inductive rings and fields.Wang Shiqiang - 1989 - Annals of Pure and Applied Logic 44 (1-2):133-137.
Reasoning with belief functions over Belnap–Dunn logic.Marta Bílková, Sabine Frittella, Daniil Kozhemiachenko, Ondrej Majer & Sajad Nazari - 2024 - Annals of Pure and Applied Logic 175 (9):103338.
Inductive rings and fields.S. Wang - 1989 - Annals of Pure and Applied Logic 44 (1/2):133.

Analytics

Added to PP
2014-01-16

Downloads
26 (#944,915)

6 months
5 (#853,286)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Sheaves and Logic.M. P. Fourman, D. S. Scott & C. J. Mulvey - 1983 - Journal of Symbolic Logic 48 (4):1201-1203.
Sheaves and Boolean valued model theory.George Loullis - 1979 - Journal of Symbolic Logic 44 (2):153-183.
Artin-Schreier theory for commutative regular rings.L. van den Dries - 1977 - Annals of Mathematical Logic 12 (2):113.

Add more references