2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05

Bulletin of Symbolic Logic 12 (2):310-361 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/bsl/1146620064

Other Versions

original (1993) "European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '91". Journal of Symbolic Logic 58(2):729-766
edition Hodges, Wilfrid (1995) "European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '93". Bulletin of Symbolic Logic 1(4):489-490
edition Logic, Symbolic (1995) "European summer meeting of the association for symbolic logic logic colloquium'93". Bulletin of Symbolic Logic 1(4):489-490
edition Wood, Carol (2001) "2000 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium 2000". Bulletin of Symbolic Logic 7(1):82-163
edition Muhlrad, Mosconi M.-H. Mourgues C.; Grief, L. Pacholski; Velickovic, J. -P. Ressayre B. (2001) "2000 european summer meeting of the association for symbolic logic logic colloquium 2000". Bulletin of Symbolic Logic 7(4):82
edition Neeman, Itay; Leitsch, Alexander; Arai, Toshiyasu; Awodey, Steve; Cummings, James; Downey, Rod; Friedman, Harvey (2002) "2001 european summer meeting of the association for symbolic logic logic colloquium'01". Bulletin of Symbolic Logic 8(1):111-180
edition Beklemishev, Lev D.; Cook, Stephen; Lessmann, Olivier; Thomas, Simon; Avigad, Jeremy; Beckmann, Arnold; Carlson, Tim; Constable, Robert L.; Došen, Kosta (2003) "2002 european summer meeting of the association for symbolic logic logic colloquium'02". Bulletin of Symbolic Logic 9(1):71
edition Benedikt, Michael; Todorcevic, Stevo; Baltag, Alexandru; Becker, Howard; Foreman, Matthew; Girard, Jean-Yves; Grohe, Martin; Johnstone, Peter T.; Knuuttila, Simo; Kojman, Menachem (2004) "2003 european summer meeting of the association for symbolic logic logic colloquim'03". Bulletin of Symbolic Logic 10(2):
edition Paris, Stevo Todorcevic; Oxford, Alexandru Baltag; Irvine, Matthew Foreman; Marseille, Jean-Yves Girard; Berlin, Martin Grohe; Cambridge, Peter T. Johnstone (2004) "2003 european summer meeting of the association for symbolic logic logic colloquim'03". Bulletin of Symbolic Logic 10(2):234
edition Lempp, Steffen (2008) "2007 European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium '07". Bulletin of Symbolic Logic 14(1):123-159
edition Wilkie, Alex J. (2009) "2008 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '08". Bulletin of Symbolic Logic 15(1):95-139
edition (2010) "2009 European Summer Meeting of the Association for Symbolic Logic Logic Colloquium '09". Bulletin of Symbolic Logic 16(1):90-142
edition Abraham, Uri; Slaman, Ted (2011) "2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10". Bulletin of Symbolic Logic 17(2):272-329
edition Ambos-Spies, Klaus (2012) "2011 european summer meeting of the association for symbolic logic, logic colloquium '11". Bulletin of Symbolic Logic 18(3):418-476

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,369

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

Analytics

Added to PP
2014-03-18

Downloads
31 (#734,222)

6 months
12 (#308,345)

Historical graph of downloads
How can I increase my downloads?

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.
What Truth Depends on.Hannes Leitgeb - 2005 - Journal of Philosophical Logic 34 (2):155-192.
A new strongly minimal set.Ehud Hrushovski - 1993 - Annals of Pure and Applied Logic 62 (2):147-166.
Constructive set theory.John Myhill - 1975 - Journal of Symbolic Logic 40 (3):347-382.

View all 32 references / Add more references