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

Other Versions

No versions found

Links

PhilArchive

    This entry is not archived by us. If you are the author and have permission from the publisher, we recommend that you archive it. Many publishers automatically grant permission to authors to archive pre-prints. By uploading a copy of your work, you will enable us to better index it, making it easier to find.

    Upload a copy of this work     Papers currently archived: 105,925

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.
1994 Annual Meeting of the Association for Symbolic Logic.[author unknown] - 1995 - Bulletin of Symbolic Logic 1 (1):116-141.
2006 Annual Meeting of the Association for Symbolic Logic.Matthew Valeriote - 2007 - Bulletin of Symbolic Logic 13 (1):120-145.
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.
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.
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
13 (#1,416,160)

6 months
7 (#613,993)

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