Boolean products of real closed valuation rings and fields

Annals of Pure and Applied Logic 112 (2-3):119-150 (2001)
  Copy   BIBTEX

Abstract

We present some results concerning elimination of quantifiers and elementary equivalence for Boolean products of real closed valuation rings and fields. We also study rings of continuous functions and rings of definable functions over real closed valuation rings under this point of view

Categories

Keywords

Reprint years

DOI

10.1016/s0168-0072(01)00022-7

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,672

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

Some model theory for almost real closed fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
Canonical forms for definable subsets of algebraically closed and real closed valued fields.Jan E. Holly - 1995 - Journal of Symbolic Logic 60 (3):843-860.
Hilbert's 17th Problem for Real Closed Rings.Larry Mathews - 1994 - Mathematical Logic Quarterly 40 (4):445-454.
Real closed rings and ordered valuation ring.Thomas Becker - 1983 - Mathematical Logic Quarterly 29 (8):417-425.
On Boolean algebras and integrally closed commutative regular rings.Misao Nagayama - 1992 - Journal of Symbolic Logic 57 (4):1305-1318.
Anneaux de fonctions p-adiques.Luc Bélair - 1995 - Journal of Symbolic Logic 60 (2):484-497.
Completions of Convexly Ordered Valuation Rings.Larry Mathews - 1994 - Mathematical Logic Quarterly 40 (3):318-330.
Existentially closed models of the theory of artinian local rings.Hans Schoutens - 1999 - Journal of Symbolic Logic 64 (2):825-845.
The strong soundness theorem for real closed fields and Hilbert’s Nullstellensatz in second order arithmetic.Nobuyuki Sakamoto & Kazuyuki Tanaka - 2004 - Archive for Mathematical Logic 43 (3):337-349.
Filtral powers of structures.P. Ouwehand & H. Rose - 1998 - Journal of Symbolic Logic 63 (4):1239-1254.
XVIIème problème de Hilbert sur Les corps chaîne-clos.Françoise Delon & Danielle Gondard - 1991 - Journal of Symbolic Logic 56 (3):853-861.
The undecidability of intuitionistic theories of algebraically closed fields and real closed fields.Dov M. Gabbay - 1973 - Journal of Symbolic Logic 38 (1):86-92.
Pseudo completions and completions in stages of o-minimal structures.Marcus Tressl - 2006 - Archive for Mathematical Logic 45 (8):983-1009.
Real Closed Exponential Subfields of Pseudo-Exponential Fields.Ahuva C. Shkop - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):591-601.
The ℵ1-categoricity of strictly upper triangular matrix rings over algebraically closed fields.Bruce I. Rose - 1978 - Journal of Symbolic Logic 43 (2):250 - 259.

Analytics

Added to PP
2014-01-16

Downloads
43 (#367,905)

6 months
14 (#175,970)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Real closed rings II. model theory.Gregory Cherlin & Max A. Dickmann - 1983 - Annals of Pure and Applied Logic 25 (3):213-231.
Algebraic theories with definable Skolem functions.Lou van den Dries - 1984 - Journal of Symbolic Logic 49 (2):625-629.
Elimination of quantifiers for ordered valuation rings.M. A. Dickmann - 1987 - Journal of Symbolic Logic 52 (1):116-128.

View all 12 references / Add more references