Mathematical Logic Quarterly 27 (31‐35):549-555 (1981)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.1002/malq.19810273107 |
| Options |
Mark as duplicate
Export citation
Request removal from index
|
Download options
References found in this work BETA
A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1949 - Journal of Symbolic Logic 14 (3):188-188.
A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1952 - Journal of Symbolic Logic 17 (3):207-207.
Models and Ultraproducts: An Introduction.J. L. Bell & A. B. Slomson - 1972 - Journal of Symbolic Logic 37 (4):763-764.
Citations of this work BETA
The Härtig Quantifier: A Survey.Heinrich Herre, Michał Krynicki, Alexandr Pinus & Jouko Väänänen - 1991 - Journal of Symbolic Logic 56 (4):1153-1183.
Henkin and Function Quantifiers.Michael Krynicki & Jouko Väänänen - 1989 - Annals of Pure and Applied Logic 43 (3):273-292.
Similar books and articles
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.
TheL <Ω-Theory of the Class of Archimedian Real Closed Fields.Gerd Bürger - 1989 - Archive for Mathematical Logic 28 (3):155-166.
Quantifier Elimination for the Theory of Algebraically Closed Valued Fields with Analytic Structure.Yalin Firat Çelikler - 2007 - Mathematical Logic Quarterly 53 (3):237-246.
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.
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.
Real Closed Exponential Subfields of Pseudo-Exponential Fields.Ahuva C. Shkop - 2013 - Notre Dame Journal of Formal Logic 54 (3-4):591-601.
Notes on the Stability of Separably Closed Fields.Carol Wood - 1979 - Journal of Symbolic Logic 44 (3):412-416.
Relative Randomness and Real Closed Fields.Alexander Raichev - 2005 - Journal of Symbolic Logic 70 (1):319 - 330.
An Intuitionistic Axiomatisation of Real Closed Fields.Erik Palmgren - 2002 - Mathematical Logic Quarterly 48 (2):297-299.
Separably Closed Fields with Hasse Derivations.Martin Ziegler - 2003 - Journal of Symbolic Logic 68 (1):311-318.
Henkin Quantifiers and the Definability of Truth.Tapani Hyttinen & Gabriel Sandu - 2000 - Journal of Philosophical Logic 29 (5):507-527.
Analytics
Added to PP index
2013-12-01
Total views
5 ( #1,199,194 of 2,498,921 )
Recent downloads (6 months)
2 ( #279,629 of 2,498,921 )
2013-12-01
Total views
5 ( #1,199,194 of 2,498,921 )
Recent downloads (6 months)
2 ( #279,629 of 2,498,921 )
How can I increase my downloads?
Downloads
