On the elimination of Malitz quantifiers over Archimedian real closed fields

Archive for Mathematical Logic 28 (3):167-171 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1007/bf01622876

Links

PhilArchive



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

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

TheL <ω-theory of the class of Archimedian real closed fields.Gerd Bürger - 1989 - Archive for Mathematical Logic 28 (3):155-166.
Magidor-Malitz quantifiers in modules.Andreas Baudisch - 1984 - Journal of Symbolic Logic 49 (1):1-8.
Rings which admit elimination of quantifiers.Bruce I. Rose - 1978 - Journal of Symbolic Logic 43 (1):92-112.
Elimination of algorithmic quantifiers for ordered differential algebra.Yunfu Shen - 1999 - Archive for Mathematical Logic 38 (3):139-144.
Quantifier elimination for the theory of algebraically closed valued fields with analytic structure.Yalin Firat Çelikler - 2007 - Mathematical Logic Quarterly 53 (3):237-246.
The ordered field of real numbers and logics with Malitz quantifiers.Andreas Rapp - 1985 - Journal of Symbolic Logic 50 (2):380-389.
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.
Alfred Tarski's elimination theory for real closed fields.Lou Van Den Dries - 1988 - Journal of Symbolic Logic 53 (1):7-19.
Alfred Tarski's Elimination Theory for Real Closed Fields.Lou van Den Dries - 1988 - Journal of Symbolic Logic 53 (1):7 - 19.
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.
Rings which admit elimination of quantifiers.Chantal Berline - 1981 - Journal of Symbolic Logic 46 (1):56-58.
0-D-Valued Fields.Nicolas Guzy - 2006 - Journal of Symbolic Logic 71 (2):639 - 660.
Some model theory for almost real closed fields.Françoise Delon & Rafel Farré - 1996 - Journal of Symbolic Logic 61 (4):1121-1152.
Existentially closed fields with holomorphy rings.Joachim Schmid - 1997 - Archive for Mathematical Logic 36 (2):127-135.
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.

Analytics

Added to PP
2013-11-23

Downloads
52 (#293,581)

6 months
9 (#250,037)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1952 - Journal of Symbolic Logic 17 (3):207-207.

Add more references