Elimination of Quantifiers in Algebraic Structures

, , , , &
Journal of Symbolic Logic 50 (4):1079-1080 (1985)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2273998

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,907

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

Which Structural Rules Admit Cut Elimination? An Algebraic Criterion.Kazushige Terui - 2007 - Journal of Symbolic Logic 72 (3):738 - 754.
Rings which admit elimination of quantifiers.Bruce I. Rose - 1978 - Journal of Symbolic Logic 43 (1):92-112.
Algebraic aspects of cut elimination.Francesco Belardinelli, Peter Jipsen & Hiroakira Ono - 2004 - Studia Logica 77 (2):209 - 240.
Quantifier elimination for the theory of algebraically closed valued fields with analytic structure.Yalin Firat Çelikler - 2007 - Mathematical Logic Quarterly 53 (3):237-246.
Rings which admit elimination of quantifiers.Chantal Berline - 1981 - Journal of Symbolic Logic 46 (1):56-58.
On P Versus NP for Parameter‐Free Programs Over Algebraic Structures.Armin Hemmerling - 2001 - Mathematical Logic Quarterly 47 (1):67-92.
The Complexity of Bounded Quantifiers in Some Ordered Abelian Groups.Philip Scowcroft - 2007 - Notre Dame Journal of Formal Logic 48 (4):521-550.
On second-order generalized quantifiers and finite structures.Anders Andersson - 2002 - Annals of Pure and Applied Logic 115 (1--3):1--32.
Elimination of quantifiers over vectors in some theories of vector spaces.Andrey A. Kuzichev - 1992 - Mathematical Logic Quarterly 38 (1):575-577.
Mutually algebraic structures and expansions by predicates.Michael C. Laskowski - 2013 - Journal of Symbolic Logic 78 (1):185-194.
Elimination of algorithmic quantifiers for ordered differential algebra.Yunfu Shen - 1999 - Archive for Mathematical Logic 38 (3):139-144.
Corrigendum: "Rings which admit elimination of quantifiers".Bruce I. Rose - 1979 - Journal of Symbolic Logic 44 (1):109-110.
Algebraic proofs of cut elimination.Jeremy Avigad - manuscript
Computable quantifiers and logics over finite structures.J. Makowsky & Y. Pnueli - 1995 - In M. Krynicki, M. Mostowski & L. Szczerba (eds.), Quantifiers: Logics, Models and Computation. Kluwer Academic Publishers. pp. 313--357.
Definability of Second Order Generalized Quantifiers.Juha Kontinen - 2004 - Dissertation,

Analytics

Added to PP
2015-02-05

Downloads
4 (#1,639,155)

6 months
1 (#1,508,101)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Citations of this work

Real closed rings II. model theory.Gregory Cherlin & Max A. Dickmann - 1983 - Annals of Pure and Applied Logic 25 (3):213-231.
Cell decompositions of C-minimal structures.Deirdre Haskell & Dugald Macpherson - 1994 - Annals of Pure and Applied Logic 66 (2):113-162.
Topological differential fields.Nicolas Guzy & Françoise Point - 2010 - Annals of Pure and Applied Logic 161 (4):570-598.
On VC-minimal fields and dp-smallness.Vincent Guingona - 2014 - Archive for Mathematical Logic 53 (5-6):503-517.
Substructures and uniform elimination for p-adic fields.Luc Bélair - 1988 - Annals of Pure and Applied Logic 39 (1):1-17.

View all 9 citations / Add more citations

References found in this work

No references found.

Add more references