- 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
Quantifier elimination for modules
Archive for Mathematical Logic 25 (1):1-11 (1985)
Abstract
This article has no associated abstract. (fix it)Other Versions
No versions found
My notes
Similar books and articles
Quantifier elimination for modules with scalar variables.Lou van den Dries & Jan Holly - 1992 - Annals of Pure and Applied Logic 57 (2):161-179.
Quantifier elimination for Stone algebras.Switgard Feuerstein - 1989 - Archive for Mathematical Logic 28 (2):75-89.
Quantifier elimination for the theory of algebraically closed valued fields with analytic structure.Yalin Firat Çelikler - 2007 - Mathematical Logic Quarterly 53 (3):237-246.
Corrigendum to: “Quantifier elimination in valued Ore modules”.Luc Bélair & Françoise Point - 2012 - Journal of Symbolic Logic 77 (2):727-728.
Non-effective Quantifier Elimination.Mihai Prunescu - 2001 - Mathematical Logic Quarterly 47 (4):557-562.
Quantifier elimination in valued Ore modules.Luc Bélair & Françoise Point - 2010 - Journal of Symbolic Logic 75 (3):1007-1034.
The unique existential quantifier.H. B. Enderton - 1970 - Archive for Mathematical Logic 13 (1-2):52-54.
Quantifier Elimination for Distributive Lattices and Measure Algebras.Volker Weispfenning - 1985 - Mathematical Logic Quarterly 31 (14-18):249-261.
Parametric Presburger arithmetic: complexity of counting and quantifier elimination.Tristram Bogart, John Goodrick, Danny Nguyen & Kevin Woods - 2019 - Mathematical Logic Quarterly 65 (2):237-250.
Elimination of algorithmic quantifiers for ordered differential algebra.Yunfu Shen - 1999 - Archive for Mathematical Logic 38 (3):139-144.
Analytics
Added to PP
2013-10-30
Downloads
9 (#1,530,602)
6 months
9 (#504,609)
2013-10-30
Downloads
9 (#1,530,602)
6 months
9 (#504,609)
Historical graph of downloads
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-648784bb4d-xlp8h uwo