- 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 ordered field of real numbers and logics with Malitz quantifiers
Journal of Symbolic Logic 50 (2):380-389 (1985)
Abstract
Let ℜ = (R, + R , ...) be the ordered field of real numbers. It will be shown that the L(Q n 1 ∣ n ≥ 1)-theory of ℜ is decidable, where Q n 1 denotes the Malitz quantifier of order n in the ℵ 1 -interpretationLinks
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
On the expressibility hierarchy of Magidor-Malitz quantifiers.Matatyahu Rubin & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (3):542-557.
Rings which admit elimination of quantifiers.Bruce I. Rose - 1978 - Journal of Symbolic Logic 43 (1):92-112.
Magidor-Malitz quantifiers in modules.Andreas Baudisch - 1984 - Journal of Symbolic Logic 49 (1):1-8.
Decidability of Scott's Model as an Ordered $\mathbb{Q}$-Vectorspace.Miklós Erdélyi-Szabó - 1997 - Journal of Symbolic Logic 62 (3):917-924.
Frege meets dedekind: A neologicist treatment of real analysis.Stewart Shapiro - 2000 - Notre Dame Journal of Formal Logic 41 (4):335--364.
On models with power-like ordering.Saharon Shelah - 1972 - Journal of Symbolic Logic 37 (2):247-267.
Some remarks on Schanuel's conjecture.Ricardo Bianconi - 2001 - Annals of Pure and Applied Logic 108 (1-3):15-18.
On the Consistency of Some Partition Theorems for Continuous Colorings, and the Structure of ℵ 1 -Dense Real Order Types.J. Steprans, Uri Abraham, Matatyahu Rubin & Saharon Shelah - 2002 - Bulletin of Symbolic Logic 8 (2):303.
On the Elementary Theory of Restricted Real and Imaginary Parts of Holomorphic Functions.Hassan Sfouli - 2012 - Notre Dame Journal of Formal Logic 53 (1):67-77.
The ℵ1-categoricity of strictly upper triangular matrix rings over algebraically closed fields.Bruce I. Rose - 1978 - Journal of Symbolic Logic 43 (2):250 - 259.
Analytics
Added to PP
2009-01-28
Downloads
9 (#1,281,906)
6 months
23 (#125,194)
2009-01-28
Downloads
9 (#1,281,906)
6 months
23 (#125,194)
Historical graph of downloads
Citations of this work
An Application of Logic to Combinatorial Geometry: How Many Tetrahedra are Equidecomposable with a Cube?Vladik Kreinovich & Olga Kosheleva - 1994 - Mathematical Logic Quarterly 40 (1):31-34.
TheL <ω-theory of the class of Archimedian real closed fields.Gerd Bürger - 1989 - Archive for Mathematical Logic 28 (3):155-166.
On the elimination of Malitz quantifiers over Archimedian real closed fields.Peter Koepke - 1989 - Archive for Mathematical Logic 28 (3):167-171.
References found in this work
A Decision Method for Elementary Algebra and Geometry.Alfred Tarski - 1952 - Journal of Symbolic Logic 17 (3):207-207.
Relative strength of Malitz quantifiers.Steven Garavaglia - 1978 - Notre Dame Journal of Formal Logic 19 (3):495-503.
Compact extensions of L(Q).Menachem Magidor & Jerome Malitz - 1977 - Annals of Mathematical Logic 11 (2):217--261.
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-68866f4b87-6mvtb uwo