Logic Colloquium 2004: Proceedings of the Annual European Summer Meeting of the Association for Symbolic Logic, Held in Torino, Italy, July 25-31, 2004

, &
Cambridge: Cambridge University Press (2007)
  Copy   BIBTEX

Abstract

Highlights of this volume from the 2004 Annual European Meeting of the Association for Symbolic Logic (ASL) include a tutorial survey of the recent highpoints of universal algebra, written by a leading expert; explorations of foundational questions; a quartet of model theory papers giving an excellent reflection of current work in model theory, from the most abstract aspect "abstract elementary classes" to issues around p-adic integration

Categories

Keywords

Reprint years

2008

Call number

QA9.A1.L63a 2004

ISBN(s)

9780521884242   0521884241

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,705

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Chapters

Constructive Set Theory with Operations.Andrea Cantini & Laura Crosilla

Similar books and articles

Constructive Set Theory with Operations.Andrea Cantini & Laura Crosilla - 2008 - In Logic Colloquium 2004.
Logic Colloquium: Symposium on Logic Held at Boston, 1972-73.Rohit Parikh (ed.) - 1975 - New York, NY, USA: Springer.
Logic Colloquium, 1985: Proceedings of the Colloquium, Orsay, France, July 1985.Equipe de Logique Mathématique & Paris Logic Group - 1987 - North Holland.
Logic Colloquium '73: Proceedings of the Logic Colloquium, Bristol, July 1973.H. E. Rose, J. C. Shepherdson & Association for Symbolic Logic - 1975 - North-Holland.
Sets and Proofs, Invited Papers from Logic Colloquium '97—European Meeting of the Association for Symbolic Logic, Leeds, July 1997. Thomas Strahm. First steps into metapredicativity in explicit mathematics. Sets and proofs, Invited papers from Logic Colloquium '97—European meeting of the Association for Symbolic Logic, Leeds, July 1997, edited by S. Barry Cooper and John K. Truss, London Mathematical Society lecture note series, no. 258, Cambridge University Press, Cambridge, New York, and Oakleigh, Victoria, 1999, pp. 383–402. [REVIEW]Andrea Cantini - 2002 - Bulletin of Symbolic Logic 8 (4):535-536.
Logic Colloquium '87: Proceedings of the Colloquium Held in Granada, Spain, July 20-25, 1987.Heinz-Dieter Ebbinghaus - 1989 - Elsevier.
Logic Colloquium '77, Proceedings of the Colloquium held in WrocŁaw, August 1977. [REVIEW]Thomas Jech - 2001 - Bulletin of Symbolic Logic 7 (1):79-79.
Logic Colloquium, 1988: Proceedings of the Colloquium, Padova, Italy, 22-31 August 1988.Ruggero Ferro - 1989 - North Holland.
Proceedings of the Colloquium: Held in Florence, 23-28 Aug., 1982. 1982.Gabriele Lolli, Giuseppe Longo & Annalisa Marcja - 1984 - North Holland.
Logic Colloquium ’96: Proceedings of the Colloquium held in San Sebastián, Spain, July 9–15, 1996.Jesus M. Larrazabal, Daniel Lascar & Grigori Mints - 1998 - Springer.
Logic Colloquium '84: Proceedings of the Colloquium Held in Manchester, U.K., July 1984.J. B. Paris, Alec J. Wilkie & G. M. Wilmers (eds.) - 1986 - Amsterdam, Netherlands: North Holland.
Sets, Models and Recursion Theory Proceedings of the Summer School in Mathematical Logic and Tenth Logic Colloquium, Leicester, August-September 1965.John N. Crossley & Logic Colloquium - 1967 - North-Holland.
Logic Colloquium '77 Proceedings of the Colloquium Held in Wroclw, August 1977.Angus Macintyre, Leszek Pacholski & J. B. Paris - 1978
Logic Colloquium '78: Proceedings of the Colloquium Held in Mons, August 1978.Maurice Boffa, D. van Dalen & Kenneth Mcaloon - 1979 - North-Holland Pub. Co. Elsevier North-Holland, Sole Distributors for the U.S.A. And Canada.
G. Kreisel. Some reasons for generalizing recursion theory. Logic colloquium '69, Proceedings of the summer school and colloquium in mathematical logic, Manchester, August 1969, edited by R. O. Gandy and C. E. M. Yates, Studies in logic and the foundations of mathematics, vol. 61, North-Holland Publishing Company, Amsterdam and London1971, pp. 139–198. [REVIEW]C. E. M. Yates - 1975 - Journal of Symbolic Logic 40 (2):230-232.

Analytics

Added to PP
2009-01-28

Downloads
24 (#672,829)

6 months
2 (#1,241,941)

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

No references found.

Add more references