Real closed rings II. model theory

&
Annals of Pure and Applied Logic 25 (3):213-231 (1983)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0168-0072(83)90019-2

Links

PhilArchive



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

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

Existentially closed models of the theory of artinian local rings.Hans Schoutens - 1999 - Journal of Symbolic Logic 64 (2):825-845.
Model companion and model completion of theories of rings.Claude Sureson - 2009 - Archive for Mathematical Logic 48 (5):403-420.
Some model theory for almost real closed fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
Hilbert's 17th Problem for Real Closed Rings.Larry Mathews - 1994 - Mathematical Logic Quarterly 40 (4):445-454.
Real closed fields and models of Peano arithmetic.P. D'Aquino, J. F. Knight & S. Starchenko - 2010 - Journal of Symbolic Logic 75 (1):1-11.
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.
TheL <ω-theory of the class of Archimedian real closed fields.Gerd Bürger - 1989 - Archive for Mathematical Logic 28 (3):155-166.
Real closed rings and ordered valuation ring.Thomas Becker - 1983 - Mathematical Logic Quarterly 29 (8):417-425.
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.
Closed p-adic rings and rings of definable functions.Luc Bélair - 1991 - Journal of Symbolic Logic 56 (2):539-553.
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.
Boolean products of real closed valuation rings and fields.Jorge I. Guier - 2001 - Annals of Pure and Applied Logic 112 (2-3):119-150.
Existentially closed models via constructible sets: There are 2ℵ0 existentially closed pairwise non elementarily equivalent existentially closed ordered groups. [REVIEW]Anatole Khelif - 1996 - Journal of Symbolic Logic 61 (1):277 - 284.
Algebraically closed commutative rings.G. L. Cherlin - 1973 - Journal of Symbolic Logic 38 (3):493-499.

Analytics

Added to PP
2014-01-16

Downloads
15 (#893,994)

6 months
4 (#698,851)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Dp-Minimality: Basic Facts and Examples.Alfred Dolich, John Goodrick & David Lippel - 2011 - Notre Dame Journal of Formal Logic 52 (3):267-288.
T-Convexity and Tame Extensions.Dries Lou Van Den & H. Lewenberg Adam - 1995 - Journal of Symbolic Logic 60 (1):74 - 102.
Elimination of quantifiers for ordered valuation rings.M. A. Dickmann - 1987 - Journal of Symbolic Logic 52 (1):116-128.
Topological differential fields.Nicolas Guzy & Françoise Point - 2010 - Annals of Pure and Applied Logic 161 (4):570-598.
Imaginaries in real closed valued fields.Timothy Mellor - 2006 - Annals of Pure and Applied Logic 139 (1):230-279.

View all 35 citations / Add more citations

References found in this work

On definable subsets of p-adic fields.Angus MacIntyre - 1976 - Journal of Symbolic Logic 41 (3):605-610.
Model theoretic algebra.G. L. Cherlin - 1976 - Journal of Symbolic Logic 41 (2):537-545.
On the elementary theory of Hensel fields.Volker Weispfenning - 1976 - Annals of Mathematical Logic 10 (1):59.

Add more references