An Ehrenfeucht-Fraïssé game for Lω1ω-Reference-Cited by-同舟云学术

An Ehrenfeucht-Fraïssé game for Lω1ω

Published:2013-08 Issue:4-5 Volume:59 Page:357-370
ISSN:0942-5616
Container-title:Mathematical Logic Quarterly
language:en
Short-container-title:Math. Log. Quart.

Author:

Väänänen Jouko¹²,Wang Tong²

Affiliation:

1. Department of Mathematics and Statistics; University of Helsinki; Gustaf Hällströmin katu 2b00014 Finland

2. Institute for Logic, Language and Computation; Universiteit van Amsterdam; Postbus 94242 1090 GE Amsterdam The Netherlands

Funder

Academy of Finland

European Science Foundation project “New Frontiers of Infinity: Mathematical, Philosophical and Computational Prospects”

Publisher

Wiley

Link

http://onlinelibrary.wiley.com/wol1/doi/10.1002/malq.201200104/fullpdf

Reference12 articles.

1. The role of the omitting types theorem in infinitary logic;Barwise;Arch. Math. Log. Grundlagenforsch.,1981

2. Reduced products and nonstandard logics;Benda;J. Symb. Log.,1969

3. Application of games to some problems of mathematical logic;Ehrenfeucht;Bull. Acad. Pol. Sci. Sér. Sci. Math. Astron. Phys. Cl. III,1957

4. An application of games to the completeness problem for formalized theories;Ehrenfeucht;Fundam. Math.,1960/1961

5. Sur quelques classifications des relations, basées sur des isomorphismes restreints. ii. application aux relations d'ordre, et construction d'exemples montrant que ces classifications sont distinctes;Fraïssé;Publ. Sci. Univ. Alger. Sér. A,1957

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

1. On Carruth’s axioms for natural sums and products;European Journal of Mathematics;2023-10-10

2. Some transfinite natural sums;Mathematical Logic Quarterly;2018-12

3. An Infinite Natural Product;Annales Mathematicae Silesianae;2018-08-24

4. An infinite natural sum;Mathematical Logic Quarterly;2016-04-01