๐”– Scriptorium
โœฆ   LIBER   โœฆ
๐Ÿ“

Games and Infinitary Languages

โœ Scribed by Tapani Hyttinen

Publisher
Suomalainen Tiedeakatemia, University of Helsinki
Year
1987
Tongue
English
Leaves
36
Series
Annales Academiae Scientiarum Fennicae. Series A. I. Mathematica Dissertationes. Volume 64
Category
Library
โฌ‡  Acquire This Volume

No coin nor oath required. For personal study only.

โœฆ Synopsis

This is a short description of the doctoral dissertation of Tapani Hyttinen under the supervision of Docent Juha Oikkonen.

โœฆ Table of Contents

Introduction
1. Closed s-games
2. An approximation theorem for closed s-games
3. The languages $L_{\lambda\kappa}$ and $\lambda\kappa$-Vaught sentences
4. On determinacy
5. Applications of games to the model theory of infinitary languages
References

๐Ÿ“œ SIMILAR VOLUMES

Foundations of System Theory: Finitary a
๐Ÿ“ Foundations of System Theory: Finitary and Infinitary Conditions
โœ Brian D. O. Anderson, Michael A. Arbib, Ernest G. Manes (auth.) ๐Ÿ“‚ Library ๐Ÿ“… 1976 ๐Ÿ› Springer-Verlag Berlin Heidelberg ๐ŸŒ English

<p>This paper is one of a series in which the ideas of category theory are applied to problems of system theory. As with the three principal earlier papers, [1-3], the emphasis is on study of the realization problem, or the problem of associating with an input-output description of a system an inter