Of the association for symbolic logic

Bulletin of Symbolic Logic 12 (4):613-624 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2178/bsl/1164056810

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,202

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

Alasdair Urquhart. The complexity of linear logic with weakening. Logic Colloquium '98, Proceedings of the annual European summer meeting of the Association for Symbolic Logic, held in Prague, Czech Republic, August 9–15, 1998, edited by Samuel R. Buss, Petr Hájek, and Pavel Pudlák, Lecture notes in logic, no. 13, Association for Symbolic Logic, Urbana, and A K Peters, Natick, Mass., 2000, pp. 500–515. [REVIEW]Herman Ruge Jervell - 2002 - Bulletin of Symbolic Logic 8 (1):100-101.
Australasian Association for Logic 1999 Annual Conference Co-Sponsored by the Association for Symbolic Logic.Ross Brady - 2000 - Bulletin of Symbolic Logic 6 (2):248-255.
The Association for Symbolic Logic publishes analytical reviews of selected books and articles in the field of symbolic logic. The reviews were published in The Journal of Symbolic Logic from the founding of the Journal in 1936 until the end of 1999. The Association moved the reviews to this Bulletin, beginning in 2000. The Reviews Section is edited by Alasdair Urquhart (Managing Editor), Steve Awodey. [REVIEW]Denis Hirschfeldt, Hannes Leitgeb, Roger Maddux, Grigori Mints & Volker Peckhaus - 2008 - Bulletin of Symbolic Logic 14 (2).
2003 annual conference of the australasian association for logic: Sponsored by the association for symbolic logic, Adelaide, australia july 5-6, 2003. [REVIEW]Ross Brady - 2004 - Bulletin of Symbolic Logic 10 (2):290-294.
The Association for Symbolic Logic publishes analytical reviews of selected books and articles in the field of symbolic logic. The reviews were published in The Journal of Symbolic Logic from the founding of the Journal in 1936 until the end of 1999. The Association moved the reviews to this Bulletin, beginning in 2000. The Reviews Section is edited by Steve Awodey (Managing Editor), John Baldwin, John. [REVIEW]Mark Colyvan Burgess, Anuj Dawar, Marcelo Fiore, Noam Greenberg & Hannes Leitgeb - 2010 - Bulletin of Symbolic Logic 16 (1).
Reviewed Work(s): A new spectrum of recursive models using an amalgamation construction. The Journal of Symbolic Logic, vol. 73 by Uri Andrews; A computable N₀-categorical structure whose theory computes true arithmetic. The Journal of Symbolic Logic, vol. 72 by Bakhadyr Khoussainov; Antonio Montalbán. [REVIEW]Alexander G. Melnikov - forthcoming - Association for Symbolic Logic: The Bulletin of Symbolic Logic.
European summer meeting of the association for symbolic logic logic colloquium'93.Symbolic Logic - 1995 - Bulletin of Symbolic Logic 1 (4):489-490.
The Association for Symbolic Logic publishes analytical reviews of selected books and articles in the field of symbolic logic. The reviews were published in The Journal of Symbolic Logic from the founding of the Journal in 1936 until the end of 1999. The Association moved the reviews to this Bulletin, beginning in 2000. The Reviews Section is edited by Steve Awodey (Managing Editor). John Baldwin, John. [REVIEW]Burgess Mark Colyvan Anuj Dawar Mirna, Marcelo Fiore Dzamonja, Hannes Leitgeb, Roger Maddux, Andre Nies Carsten Schurmann, Kai Wehmeier & Matthias Wille Au - 2009 - Bulletin of Symbolic Logic 15 (2).
Seventh Latin American on Mathematical Logic- Meeting of the association for symbolic logic: Campinas, Brazil, 1985.Walter Carnielli - 1986 - Journal of Symbolic Logic 51 (4):1093-1103.
2010 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '10.Uri Abraham & Ted Slaman - 2011 - Bulletin of Symbolic Logic 17 (2):272-329.
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.
Xv latin american symposium on mathematical logic (slalm 2012).Itala Maria Loffredo D'Ottaviano - 2013 - Bulletin of Symbolic Logic 19 (3):332-376.

Analytics

Added to PP
2014-01-16

Downloads
3 (#1,644,941)

6 months
2 (#1,136,865)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Valentina Harizanov
George Washington University

Citations of this work

No citations found.

Add more citations

References found in this work

Positive model theory and compact abstract theories.Itay Ben-Yaacov - 2003 - Journal of Mathematical Logic 3 (01):85-118.
Nonsplitting subset of κ.Moti Gitik - 1985 - Journal of Symbolic Logic 50 (4):881-894.
Automorphisms of substructure lattices in recursive algebra.David R. Guichard - 1983 - Annals of Pure and Applied Logic 25 (1):47-58.

View all 6 references / Add more references