The last word on elimination of quantifiers in modules

&
Journal of Symbolic Logic 55 (2):670-673 (1990)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274656

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,745

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 last word on quantifier elimination in modules.H. B. Gute & K. K. Reiter - 1990 - Journal of Symbolic Logic 55:670-673.
Magidor-Malitz quantifiers in modules.Andreas Baudisch - 1984 - Journal of Symbolic Logic 49 (1):1-8.
ALLEN, B., Arithmetizing Uniform NC BASARAB, SA, Relative elimination of quantifiers for Hen-selian valued fields BUSS, SR, The undecidability of k-provability GALLIER, JH, What's so special about Kruskal's theorem and.A. Nesin, A. Pillay & V. Razenj - 1991 - Annals of Pure and Applied Logic 53:297.
Review: K. Jaakko, J. Hintikka, Quantifiers in Deontic Logic. [REVIEW]E. J. Lemmon - 1959 - Journal of Symbolic Logic 24 (2):178-179.
Rings which admit elimination of quantifiers.Bruce I. Rose - 1978 - Journal of Symbolic Logic 43 (1):92-112.
Semi-Bounded Relations in Ordered Modules.Oleg Belegradek - 2004 - Journal of Symbolic Logic 69 (2):499 - 517.
Semi-bounded relations in ordered modules.Oleg Belegradek - 2004 - Journal of Symbolic Logic 69 (2):499-517.
An analytic completeness theorem for logics with probability quantifiers.Douglas N. Hoover - 1987 - Journal of Symbolic Logic 52 (3):802-816.
Jaakko K. Hintikka J.. Quantifiers in deontic logic. Societas Scientiarum Fennica, Commentationes humanarum-litterarum, vol. 23 no. 4, Helsingfors 1957, 23 pp. [REVIEW]E. J. Lemmon - 1959 - Journal of Symbolic Logic 24 (2):178-179.
Elimination of Quantifiers in Algebraic Structures.Angus Macintyre, Kenneth Mckenna, Lou van den Dries, L. P. D. van den Dries, Bruce I. Rose & M. Boffa - 1985 - Journal of Symbolic Logic 50 (4):1079-1080.

Analytics

Added to PP
2009-01-28

Downloads
21 (#173,985)

6 months
9 (#1,260,759)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Measurability in modules.Charlotte Kestner - 2014 - Archive for Mathematical Logic 53 (5-6):593-620.
On pp-elimination and stability in a continuous setting.Nicolas Chavarria & Anand Pillay - 2023 - Annals of Pure and Applied Logic 174 (5):103258.

Add more citations

References found in this work

Model theory of modules.Martin Ziegler - 1984 - Annals of Pure and Applied Logic 26 (2):149-213.

Add more references