- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
The Complexity of Bounded Quantifiers in Some Ordered Abelian Groups
Notre Dame Journal of Formal Logic 48 (4):521-550 (2007)
Abstract
This paper obtains lower and upper bounds for the number of alternations of bounded quantifiers needed to express all formulas in certain ordered Abelian groups admitting elimination of unbounded quantifiers. The paper also establishes model-theoretic tests for equivalence to a formula with a given number of alternations of bounded quantifiersLinks
PhilArchive
External links
(no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Through your library
- Sign in / register and customize your OpenURL resolver
- Configure custom resolver
My notes
Similar books and articles
The model theory of finitely generated finite-by-Abelian groups.Francis Oger - 1984 - Journal of Symbolic Logic 49 (4):1115-1124.
Undecidable lt theories of topological Abelian groups.Gregory L. Cherlin & Peter H. Schmitt - 1981 - Journal of Symbolic Logic 46 (4):761 - 772.
The Isomorphism Problem for Computable Abelian p-Groups of Bounded Length.Wesley Calvert - 2005 - Journal of Symbolic Logic 70 (1):331 - 345.
A common abstraction of MV-Algebras and Abelian l-groups.Francesco Paoli - 2000 - Studia Logica 65 (3):355-366.
The order indiscernibles of divisible ordered Abelian groups.David Rosenthal - 1984 - Journal of Symbolic Logic 49 (1):151-160.
The elementary class of products of totally ordered Abelian groups.Daniel Gluschankof - 1991 - Journal of Symbolic Logic 56 (1):295-299.
Some model theory of Abelian groups.Paul C. Eklof - 1972 - Journal of Symbolic Logic 37 (2):335-342.
Semi-Bounded Relations in Ordered Modules.Oleg Belegradek - 2004 - Journal of Symbolic Logic 69 (2):499 - 517.
A Computational Approach to Quantifiers as an Explanation for Some Language Impairments in Schizophrenia.Marcin Zajenkowski, Rafał Styła & Jakub Szymanik - 2011 - Journal of Communication Disorder 44:2011.
Relativized logspace and generalized quantifiers over finite ordered structures.Georg Gottlob - 1997 - Journal of Symbolic Logic 62 (2):545-574.
Partially ordered quantifiers vs. partially ordered ideas.Jaakko Hintikka - 1976 - Dialectica 30 (1):89--99.
On the complexity of the classification problem for torsion-free Abelian groups of finite rank.Simon Thomas - 2001 - Bulletin of Symbolic Logic 7 (3):329-344.
Quasi-o-minimal structures.Oleg Belegradek, Ya'acov Peterzil & Frank Wagner - 2000 - Journal of Symbolic Logic 65 (3):1115-1132.
An elementary presentation of the equivalence between MV-algebras and l-groups with strong unit.Roberto Cignoli & Daniele Mundici - 1998 - Studia Logica 61 (1):49-64.
Analytics
Added to PP
2010-08-24
Downloads
13 (#1,006,512)
6 months
6 (#522,885)
2010-08-24
Downloads
13 (#1,006,512)
6 months
6 (#522,885)
Historical graph of downloads
References found in this work
Expanded theory of ordered Abelian groups.Yuri Gurevich - 1977 - Annals of Mathematical Logic 12 (2):193-228.
Etude de Certains Operateurs Dans Les Classes de Relations, Definis A Partir D'isomorphismes Restreints.Roland Fraïssé - 1956 - Mathematical Logic Quarterly 2 (5-7):59-75.
Etude de Certains Operateurs Dans Les Classes de Relations, Definis A Partir D'isomorphismes Restreints.Roland Fraïssé - 1956 - Mathematical Logic Quarterly 2 (5‐7):59-75.
Application des γ‐operateurs au Calcul Logique du Premier Echelon.Roland Fraïssé - 1956 - Mathematical Logic Quarterly 2 (5-7):76-92.
Elimination of unbounded quantifiers for some poly-regular groups of infinite rank.Philip Scowcroft - 2007 - Annals of Pure and Applied Logic 149 (1-3):40-80.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-4c2ch uwo