Article contents
The ordered field of real numbers and logics with Malitz quantifiers1
Published online by Cambridge University Press: 12 March 2014
Abstract
Let ℜ = (R, + R,…) be the ordered field of real numbers. It will be shown that the -theory of ℜ is decidable, where denotes the Malitz quantifier of order n in the ℵ1-interpretation.
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 1985
Footnotes
This paper contains a chapter of my doctoral dissertation completed at the University of Freiburg. I would like to express my gratitude to my supervisor, Professor Dr. H.-D. Ebbinghaus, for his support and encouragement.
References
REFERENCES
- 5
- Cited by