Bulletin of Symbolic Logic (Project Euclid)

Bulletin of Symbolic Logic, Volume 14, Number 2 (2008)

2008-06-23T15:28:34Z

Contents:

Sasha Rubin. Automata presenting structures: A survey of the finite string case . 169--209.

Siegfried Gottwald. Mathematical fuzzy logics . 210--239.

Jan von Plato. Gentzen’s proof of normalization for natural deduction . 240--257.

Reviews, Bull. Symbolic Logic 14, iss. 02 (2008) . 258--273.

Notices, Bull. Symbolic Logic 14, iss. 02 (2008) . 274--279.

Bulletin of Symbolic Logic, Volume 14, Number 3 (2008)

2009-01-04T15:03:37Z

Contents:

Steve Awodey. A brief introduction to algebraic set theory . 281--298.

Nachum Dershowitz, Yuri Gurevich. A natural axiomatization of computability and proof of Church's Thesis . 299--350.

Akihiro Kanamori. Cohen and set theory . 351--378.

Dana Scott, Dominic McCarty. Reconsidering ordered pairs . 379--397.

Reviews, Bull. Symbolic Logic 14, iss. 3 (2008) . 398--401.

2007—2008 Winter Meeting of the Association for Symbolic Logic, San Diego Convention Center, San Diego, CA, January 8—9, 2008 . 402--411.

2008 Spring Meeting of the Association for Symbolic Logic, The Sheraton Hotel, Pasadena, California, March 20—21, 2008 . 412--417.

2008 Annual Meeting of the Association for Symbolic Logic, University of California, Irvine, Irvine, California, March 27—30, 2008 . 418--437.

The 2007 Annual Conference of the Australasian Association for Logic, Melbourne, Australia, November 9—11, 2007 . 438--443.

Notices . 444--448.

Bulletin of Symbolic Logic, Volume 14, Number 4 (2008)

2009-01-04T15:04:56Z

Contents:

Vladimir G. Pestov. Hyperlinear and sofic groups: a brief guide . 449--480.

Rafał Gruszczyński, Andrzej Pietruszczak. Full development of Tarski's geometry of solids . 481--540.

Reviews, Bull. Symbolic Logic 14, iss. 4 (2008) . 541--545.

Second Indian Winter School on Logic, Indian Institute of Technology, Kanpur, January 14—26, 2008 . 546--547.

Conference on Computability, Complexity and Randomness, Nanjing University, China, May 19—23, 2008 . 548--549.

15TH Workshop on Logic, Language, Information and Computation (WoLLIC 2008), Edinburgh, Scotland, July 1—4, 2008 . 550--551.

Errata . 552--552.

Officers and Committees of the Association for Symbolic Logic . 553--558.

Members of the Association . 559--614.

Notices, Bull. Symbolic Logic 14, iss. 4 (2008) . 615--619.

Bulletin of Symbolic Logic, Volume 15, Number 1 (2009)

2009-01-04T15:10:02Z

Contents:

Valery Plisko. A survey of propositional realizability logic . 1--42.

Akihiro Kanamori. Bernays and set theory . 43--69.

Adrien Deloro. Actions of groups of finite Morley rank on small abelian groups . 70--90.

Reviews, Bull. Symbolic Logic 15, iss. 1 (2009) . 91--94.

2008 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '08, Bern, Switzerland, July 3—July 8, 2008 . 95--139.

Notices, Bull. Symbolic Logic 15, iss. 1 (2009) . 140--144.

Bulletin of Symbolic Logic, Volume 15, Number 2 (2009)

2009-06-02T13:15:36Z

Contents:

Andreas Blass, Nachum Dershowitz, Yuri Gurevich. When are two algorithms the same? . 145--168.

Román Sasyk, Asger Törnquist. Borel reducibility and classification of von Neumann algebras . 169--183.

Christian Rosendal. Automatic continuity of group homomorphisms . 184--214.

Reviews, Bull. Symbolic Logic 15, iss. 2 (2009) . 215--228.

2008 Winter Meeting of the Association for Symbolic Logic, The Marriott Hotel, Philadelphia, Pennsylvania, December 27—30, 2008 . 229--236.

2008—2009 Winter Meeting of The Association for Symbolic Logic, Marriott Wardman Park Hotel, Washington, DC, January 7—8, 2009 . 237--245.

10th Asian Logic Conference, Kobe, Japan, September 1—6, 2008 . 246--265.

Notices, Bull. Symbolic Logic 15, iss. 2 (2009) . 266--272.

Bulletin of Symbolic Logic, Volume 15, Number 3 (2009)

2009-07-01T13:13:33Z

Contents:

Alasdair Urquhart. Enumerating types of Boolean functions . 273--299.

Bart Kastermans. Isomorphism types of maximal cofinitary groups . 300--319.

Reviews, Bull. Symbolic Logic 15, iss. 3 (2009) . 320--325.

J. Donald Monk. In memoriam: Leon Albert Henkin, 1921—2006 . 326--331.

XIV Latin American Symposium on Mathematical Logic (SLALM), Paraty, Brazil, May 11—17, 2008 . 332--376.

15th International Symposium on Temporal Representation and Reasoning (TIME 2008), Montréal, Canada, June 16—18, 2008 . 377--378.

Notices Bull. Symbolic Logic 15, iss. 3 (2009) . 379--383.

Bulletin of Symbolic Logic, Volume 15, Number 4 (2009)

2009-10-14T13:15:46Z

Contents:

Stephen G. Simpson. Mass problems and measure-theoretic regularity . 385--409.

P. D. Welch. Games for truth . 410--427.

Reviews, Bull. Symbolic Logic 15, iss. 4 (2009) . 428--438.

Anil Nerode. In memoriam: Paul J. Cohen, 1934—2007 . 439--440.

2009 North American Annual Meeting of the Association for Symbolic Logic, University of Notre Dame, Notre Dame, Indiana, May 20—May 23, 2009 . 441--464.

Association for Symbolic Logic . 465--470.

Members of the Association . 471--527.

Notices, Bull. Symbolic Logic 15, iss. 4 (2009) . 528--532.

Bulletin of Symbolic Logic, Volume 16, Number 1 (2010)

2010-01-25T15:37:28Z

Contents:

Peter Koellner. Strong logics of first and second order . 1--36.

Paul Corazza. The Axiom of Infinity and transformations j: V→V . 37--84.

Reviews, vol. 16, issue 01 (2010) . 85--89.

2009 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '09, Sofia, Bulgaria, July 31—August 5, 2009 . 90--142.

16th Workshop on Logic, Language, Information and Computation (WoLLIC 2009), Tokyo, Japan, July 21—24, 2009 . 143--144.

Notices, vol. 16, issue 01 (2010) . 145--150.

Corrigendum . 151--151.

Bulletin of Symbolic Logic, Volume 16, Number 3 (2010)

2010-10-05T13:16:44Z

Contents:

Kentaro Fujimoto. Relative truth definability of axiomatic truth theories . 305--344.

Samuel Coskey, Roman Kossak. The complexity of classification problems for models of arithmetic . 345--358.

Colin McLarty. What does it take to prove Fermat's Last Theorem? Grothendieck and the logic of number theory . 359--377.

Richard A. Shore. Reverse mathematics: the playground of logic . 378--402.

Reviews, Bull. Symbolic Logic 16, iss. 3 (2010) . 403--429.

2009—2010 Winter Meeting of The Association for Symbolic Logic, Moscone Center West, San Francisco, CA, January 15—16, 2010 . 430--437.

2010 Winter Meeting of the Association for Symbolic Logic, The Palmer House Hilton Hotel, Chicago, Illinois, February 18—20, 2010 . 438--444.

The 2009 Annual Conference of the Australasian Association for Logic, University of Melbourne, Australia, July 11—12, 2009 . 445--449.

Notices, Bull. Symbolic Logic 16, iss. 3 (2010) . 450--455.

Erratum . 456--456.

Bulletin of Symbolic Logic, Volume 16, Number 4 (2010)

2011-01-04T19:59:43Z

Contents:

Parosh Aziz Abdulla. Well (and better) quasi-ordered transition systems . 457--515.

Alasdair Urquhart. Von Neumann, Gödel and complexity theory . 516--530.

Reviews, Bull. Symbolic Logic 16, iss. 4 (2010) . 531--538.

Officers and Committees of the Association for Symbolic Logic . 539--544.

Members of the Association . 545--599.

Notices, Bull. Symbolic Logic 16, iss. 4 (2010) . 600--604.

Bulletin of Symbolic Logic, Volume 17, Number 1 (2011)

2011-01-05T00:18:17Z

Contents:

Stevo Todorcevic. Combinatorial dichotomies in set theory . 1--72.

Vasco Brattka, Guido Gherardi. Effective choice and boundedness principles in computable analysis . 73--117.

Reviews, Bull. Symbolic Logic 17, iss. 1 (2011) . 118--126.

2010 North American Annual Meeting of the Association for Symbolic Logic , George Washington University, Washington, D.C., March 17—20, 2010 . 127--154.

Notices, Bull. Symbolic Logic 17, iss. 1 (2011) . 155--160.

Bulletin of Symbolic Logic, Volume 17, Number 2 (2011)

2011-05-19T13:16:09Z

Contents:

Murdoch J. Gabbay. Foundations of nominal techniques: logic and semantics of variables in abstract syntax . 161--229.

Alexandra Shlapentokh. Defining integers . 230--251.

Simon Thomas. A descriptive view of combinatorial group theory . 252--264.

Reviews, Bull. Symbolic Logic 17, iss. 2 (2011) . 265--271.

2010 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '10, Paris, France, July 25—31, 2010 . 272--329.

Notices, Bull. Symbolic Logic 17, iss. 2 (2011) . 330--335.

Bulletin of Symbolic Logic, Volume 17, Number 3 (2011)

2011-07-06T11:39:34Z

Contents:

Tatiana Arrigoni. V = L and intuitive plausibility in set theory. A case study . 337--360.

José Ferreirós. On arbitrary sets and ZFC . 361--393.

Guido Gherardi. Alan Turing and the foundations of computable analysis . 394--430.

Antonio Montalbán. Open questions in reverse mathematics . 431--454.

Liang Yu. A new proof of Friedman's conjecture . 455--461.

Reviews, Bull. Symbolic Logic 17, iss. 3 (2011) . 462--470.

Alexander S. Kechris. In Memoriam: Gregory Hjorth 1963—2011 . 471--477.

6th Conference on Computability in Europe “Programs, proofs, processes", University of Azores, Ponta Delgada, Azores, Portugal June 30—July 4, 2010 . 478--479.

17th Workshop on Logic, Language, Information and Computation (WoLLIC 2010), Brasília, Brazil, July 6—9, 2010 . 480--481.

Notices, Bull. Symbolic Logic 17, iss. 3 (2011) . 482--487.

Bulletin of Symbolic Logic, Volume 17, Number 4 (2011)

2011-10-17T12:48:04Z

Contents:

Gregory H. Moore. Early history of the Generalized Continuum Hypothesis: 1878—1938 . 489--532.

Reviews, Bull. Symbolic Logic 17, iss. 2 (2011) . 533--538.

Officers and Committees of the Association for Symbolic Logic . 539--544.

Members of the Association . 545--598.

Notices, Bull. Symbolic Logic 17, iss. 2 (2011) . 599--603.

Bulletin of Symbolic Logic, Volume 18, Number 1 (2012)

2012-01-23T14:21:32Z

Contents:

Philip Ehrlich. The absolute arithmetic continuum and the unification of all numbers great and small . 1--45.

Akihiro Kanamori. In praise of replacement . 46--90.

Jouko Väänänen. Second order logic or set theory? . 91--121.

Reviews, Bull. Symbolic Logic 18, iss. 1 (2012) . 122--134.

2011 Spring Meeting of the Association for Symbolic Logic, Hilton San Diego Bayfront Hotel, San Diego, California, USA, April 21—22, 2011 . 135--141.

2010—2011 Winter Meeting of The Association for Symbolic Logic, New Orleans Marriott and Sheraton New Orleans Hotels, New Orleans, LA, January 8—9, 2011 . 142--149.

XVI Brazilian Logic Conference (EBL 2011), Petrópolis, Rio de Janeiro, Brazil, May 9—13, 2011 . 150--151.

18th Workshop on Logic, Language, Information and Computation (WoLLIC 2011), Philadelphia, PA, USA, May 18—20, 2011 . 152--153.

Notices, Bull. Symbolic Logic 18, iss. 1 (2012) . 154--160.