A generalization of Ehrenfeucht’s game and some applications-Reference-Cited by-同舟云学术

A generalization of Ehrenfeucht’s game and some applications

Published:1972-09 Issue:3 Volume:12 Page:279-298
ISSN:0021-2172
Container-title:Israel Journal of Mathematics
language:en
Short-container-title:Israel J. Math.

Author:

Vinner Shlomo

Publisher

Springer Science and Business Media LLC

Subject

General Mathematics

Link

http://link.springer.com/content/pdf/10.1007/BF02790755.pdf

Reference9 articles.

1. A. Ehrenfeucht,An application of games to the completeness problem for formalized theories, Fund. Math.49 (1961), 129–141.

2. E. G. Fuhrken,Skolem type normal forms for first order languages with a generalized quantifier, Fund, Math,54 (1964), 291–302.

3. E. G. Fuhrken.Languages with added quantifier “there exist at least ϰ α ”, In:The Theory of Models, edited by J. Addison, L. Henkin, and A. Tarski, North-Holland, Amsterdam, 1965, pp. 121–131.

4. H. J. Keisler,Models with orderings, In:Logic, Methodology and Philosophy of Science, III, Proceedings of the Third International Congress, Amsterdam, 1967, edited by B. van Rootselaar and J. F. Staal, North-Holland, Amsterdam, 1968, pp 35–62.

5. L. D. Lipner,Some aspects of generalized quantifiers, Thesis, The University of California at Berkeley, 1970.

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

1. Muller message-passing automata and logics;Information and Computation;2008-09

2. Finite Generation Problem and n-ary Quantifiers;Quantifiers: Logics, Models and Computation;1995

3. Quantifiers and Logical Reductions;Springer Monographs in Mathematics;1995

4. Notion of Interpretation and Nonelementary Languages;Zeitschrift für Mathematische Logik und Grundlagen der Mathematik;1988

5. The expressive power of Malitz quantifiers for linear orderings;Annals of Pure and Applied Logic;1987