Games played on partial isomorphisms

&
Archive for Mathematical Logic 43 (1) (2004)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,127

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Games played on partial isomorphisms.Jouko Väänänen & Boban Veličković - 2004 - Archive for Mathematical Logic 43 (1):19-30.
Review: Phokion G. Kolaitis, Jouko A. Vaananen, Generalized Quantifiers and Pebble Games on Finite Structures. [REVIEW]I. A. Stewart - 1996 - Journal of Symbolic Logic 61 (4):1387-1388.
Jouko Väänänen. Models and games. Cambridge Studies in Advanced Mathematics, vol. 132. Cambridge University Press, Cambridge, 2011, xii + 367 pp. [REVIEW]Ian Hodkinson - 2012 - Bulletin of Symbolic Logic 18 (3):406-408.
Kolaitis Phokion G. and Väänänen Jouko A.. Generalized quantifiers and pebble games on finite structures. Annals of pure and applied logic, vol. 74 pp. 23–75. [REVIEW]I. A. Stewart - 1996 - Journal of Symbolic Logic 61 (4):1387-1388.
A Radio Interview with Jouko Väänänen.Andrés Villaveces, Roman Kossak, Juha Kontinen & Åsa Hirvonen - 2015 - In Åsa Hirvonen, Juha Kontinen, Roman Kossak & Andrés Villaveces (eds.), Logic Without Borders: Essays on Set Theory, Model Theory, Philosophical Logic and Philosophy of Mathematics. Boston: De Gruyter. pp. 417-422.
Dependence logic: A new approach to independence friendly logic – by Jouko Väänänen.Gabriel Sandu - 2009 - Theoria 75 (1):52-64.
Review: Jouko Vaananen, A Hierarchy Theorem for Lindstrom Quantifiers. [REVIEW]Juha Oikkonen - 1989 - Journal of Symbolic Logic 54 (2):631-631.
Partial Isomorphisms and Infinitary Languages.Jean-Pierre Calais - 1972 - Mathematical Logic Quarterly 18 (25‐30):435-456.
Aczel Peter. The strength of Martin-Löf's intuitionistic type theory with one universe. Proceedings of the symposiums on mathematical logic in Oulu 1974 and in Helsinki 1975, edited by Miettinen Seppo and Väänänen Jouko, The department of philosophy, University of Helsinki, Helsinki 1977, pp. 1–32. [REVIEW]Wim Veldman - 1984 - Journal of Symbolic Logic 49 (1):313.
Review: Peter Aczel, Seppo Miettinen, Jouko Vaananen, The Strength of Martin-Lof's Intuitionistic Type Theory with One Universe. [REVIEW]Wim Veldman - 1984 - Journal of Symbolic Logic 49 (1):313-313.

Analytics

Added to PP
2014-03-09

Downloads
0

6 months
0

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Author's Profile

Jouko A Vaananen
University of Helsinki

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references