2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10

&
Bulletin of Symbolic Logic 17 (2):272-329 (2011)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/bsl/1305810915

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 Wainer, Stan S. (2006) "2005 Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '05". Bulletin of Symbolic Logic 12(2):310-361
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 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: 107,099

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

European Summer Meeting of the Association for Symbolic Logic: Logic Colloquium'93: Keele, England, July 20–29, 1993.Wilfrid Hodges - 1995 - Bulletin of Symbolic Logic 1 (1):85-115.
2012 european summer meeting of the association for symbolic logic logic colloquium '12: Manchester, uk july 12–18, 2012. [REVIEW]Paola D'Aquino - 2014 - Bulletin of Symbolic Logic 20 (3):369-410,.
Logic Colloquium '80: Papers Intended for the European Summer Meeting of the Association for Symbolic Logic.D. van Dalen, Daniel Lascar, T. J. Smiley & Association for Symbolic Logic - 1982 - North-Holland.
European Summer Meeting of the Association for Symbolic Logic (Logic Colloquium'88), Padova, 1988.R. Ferro - 1990 - Journal of Symbolic Logic 55 (1):387-435.
European summer meeting of the association for symbolic logic.Chris Johnson, John Stell & Alan Treherne - 1995 - Bulletin of Symbolic Logic 1 (1):85-115.
1997 European Summer Meeting of the Association for Symbolic Logic.M. Hyland Hodges, A. H. Lachlan, A. Louveau, Y. N. Moschovakis, L. Pacholski, A. B. Slomson, J. K. Truss & S. S. Wainer - 1998 - Bulletin of Symbolic Logic 4 (1):55-117.
1998 European Summer Meeting of the Association for Symbolic Logic.S. Buss - 1999 - Bulletin of Symbolic Logic 5 (1):59-153.
1999 European Summer Meeting of the Association for Symbolic Logic.Wilfrid Hodges - 2000 - Bulletin of Symbolic Logic 6 (1):103-137.
2006 Summer Meeting of the Association for Symbolic Logic Logic Colloquium '06: Nijmegen, The Netherlands July 27-August 2, 2006. [REVIEW]Helmut Schwichtenberg - 2007 - Bulletin of Symbolic Logic 13 (2):251-298.

Analytics

Added to PP
2013-12-18

Downloads
31 (#847,344)

6 months
6 (#855,359)

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

Squares, scales and stationary reflection.James Cummings, Matthew Foreman & Menachem Magidor - 2001 - Journal of Mathematical Logic 1 (01):35-98.
Unification in intuitionistic logic.Silvio Ghilardi - 1999 - Journal of Symbolic Logic 64 (2):859-880.

View all 48 references / Add more references