2007 Annual Meeting of the Association for Symbolic Logic

Bulletin of Symbolic Logic 13 (3):386-408 (2007)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/bsl/1186666153

Links

PhilArchive



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

External links

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

Logic Colloquium 2007.Françoise Delon, Ulrich Kohlenbach, Penelope Maddy & Frank Stephan (eds.) - 2010 - New York: Cambridge University Press.
2006 Annual Meeting of the Association for Symbolic Logic.Matthew Valeriote - 2007 - Bulletin of Symbolic Logic 13 (1):120-145.
2003 annual meeting of the association for symbolic logic.Timothy Carlson, Wd Hart Denis Hirschfeldt David Macqueen & Donald Monk - 2004 - Bulletin of Symbolic Logic 10 (1):120.
2005 annual meeting of the association for symbolic logic.Ilijas Farah, Deirdre Haskell, Andrey Morozov, Vladimir Pestov & Jindrich Zapletal - 2006 - Bulletin of Symbolic Logic 12 (1):143.
2004 Annual Meeting of the Association for Symbolic Logic.Sergei Artemov - 2005 - Bulletin of Symbolic Logic 11 (1):92-119.
2001 Annual Meeting of the Association for Symbolic Logic.Andre Scedrov - 2001 - Bulletin of Symbolic Logic 7 (3):420-435.
2000 Annual Meeting of the Association for Symbolic Logic.A. Pillay, D. Hallett, G. Hjorth, C. Jockusch, A. Kanamori, H. J. Keisler & V. McGee - 2000 - Bulletin of Symbolic Logic 6 (3):361-396.
2003 Annual Meeting of the Association for Symbolic Logic.Andreas Blass - 2004 - Bulletin of Symbolic Logic 10 (1):120-145.
2001 annual meeting of the association for symbolic logic.Joan Feigenbaum, Haim Gaifman, Jean-Yves Girard, C. Ward Henson, Denis Hirschfeldt, Carl G. Jockusch Jr, Saul Kripke, Salma Kuhlmann, John C. Mitchell & Ernest Schimmerling - 2001 - Bulletin of Symbolic Logic 7 (3):420-435.
2002 Annual Meeting of the Association for Symbolic Logic.W. Hugh Woodin & Z. Beyond - 2003 - Bulletin of Symbolic Logic 9 (1):51.

Analytics

Added to PP
2015-02-06

Downloads
3 (#1,213,485)

6 months
2 (#1,816,284)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Džamonja Mirna
University of East Anglia

Citations of this work

No citations found.

Add more citations

References found in this work

Explicit provability and constructive semantics.Sergei N. Artemov - 2001 - Bulletin of Symbolic Logic 7 (1):1-36.
The logic of proofs, semantically.Melvin Fitting - 2005 - Annals of Pure and Applied Logic 132 (1):1-25.
Forcing closed unbounded sets.Uri Abraham & Saharon Shelah - 1983 - Journal of Symbolic Logic 48 (3):643-657.
An Aristotelian notion of size.Vieri Benci, Mauro Di Nasso & Marco Forti - 2006 - Annals of Pure and Applied Logic 143 (1-3):43-53.

View all 11 references / Add more references