A taste of set theory for philosophers

Journal of the Indian Council of Philosophical Research (2):143-163 (2011)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

Links

PhilArchive

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

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.
Set Theory.Jouko Vaananen - 2010 - Journal of the Indian Council of Philosophical Research 27 (1).
Review: Jouko Vaananen, A Hierarchy Theorem for Lindstrom Quantifiers. [REVIEW]Juha Oikkonen - 1989 - Journal of Symbolic Logic 54 (2):631-631.
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.
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.
Dependence logic: A new approach to independence friendly logic – by Jouko Väänänen.Gabriel Sandu - 2009 - Theoria 75 (1):52-64.
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.
Model Theory.Anand Pillay - 2010 - Journal of the Indian Council of Philosophical Research 27 (1).
Computability Theory.Barry Cooper - 2010 - Journal of the Indian Council of Philosophical Research 27 (1).
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.

Analytics

Added to PP
2013-07-03

Downloads
1,117 (#12,254)

6 months
417 (#4,837)

Historical graph of downloads
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

[Omnibus Review].Thomas Jech - 1992 - Journal of Symbolic Logic 57 (1):261-262.
The Higher Infinite.Akihiro Kanamori - 2000 - Studia Logica 65 (3):443-446.
Non-Well-Founded Sets.Peter Aczel - 1988 - Palo Alto, CA, USA: Csli Lecture Notes.
Elements of Set Theory.Herbert B. Enderton - 1981 - Journal of Symbolic Logic 46 (1):164-165.

View all 6 references / Add more references