The ordered field of real numbers and logics with Malitz quantifiers-Reference-Cited by-同舟云学术

The ordered field of real numbers and logics with Malitz quantifiers

Published:1985-06 Issue:2 Volume:50 Page:380-389
ISSN:0022-4812
Container-title:Journal of Symbolic Logic
language:en
Short-container-title:J. symb. log.

Author:

Rapp Andreas

Abstract

AbstractLet ℜ = (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.

Publisher

Cambridge University Press (CUP)

Subject

Logic,Philosophy

Reference9 articles.

1. The theory of Archimedean real closed fields in logics with Ramsey quantifiers;Cowles;Fundamenta Mathematicae,1979

2. Uncountable n-cubes in models of ℵ0-categorical theories;Baudisch;Bulletin de l'Académie Polonaise des Sciences, Série des Sciences Mathématiques,1979

3. Relative strength of Malitz quantifiers;vaglia;Notre Dame Journal of Formal Logic,1978

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Decidability Results for Classes of Ordered Abelian Groups in Logics with Ramsey-Quantifiers;Quantifiers: Logics, Models and Computation;1995

2. On the Model Theory of Some Generalized Quantifiers;Quantifiers: Logics, Models and Computation;1995

3. An Application of Logic to Combinatorial Geometry: How Many Tetrahedra are Equidecomposable with a Cube?;Mathematical Logic Quarterly;1994

4. On the elimination of Malitz quantifiers over Archimedian real closed fields;Archive for Mathematical Logic;1989-10

5. TheL <ω-theory of the class of Archimedian real closed fields;Archive for Mathematical Logic;1989-10