External Links

    Journal: Bulletin of Symbolic Logic

    Volume 11, Issue 4

    465 -- 516Tarek Sayed Ahmed. Algebraic logic, where does it stand today?
    517 -- 525Juris Steprans. Geometric cardinal invariants, maximal functions and a measure theoretic pigeonhole principle
    526 -- 533Carl Mummert, Stephen G. Simpson. Reverse mathematics and pi:::1:::::2:: comprehension

    Volume 11, Issue 3

    321 -- 350Harold Simmons. Tiering as a recursion technique
    351 -- 376Penelope Maddy. Mathematical existence
    377 -- 397Peter Koepke. Turing computations on ordinals
    398 -- 410Noam Greenberg. The role of true finiteness in the admissible recursively enumerable degrees
    411 -- 427Joseph R. Mileti. Partition Theorems and Computability Theory
    428 -- 0Roman Kontchakov, Agi Kurucz, Michael Zakharyaschev. Undecidability of first-order intuitionistic and modal logics with two variables

    Volume 11, Issue 2

    131 -- 0Akihiro Kanamori. Preface
    132 -- 149Solomon Feferman. The Gödel editorial project: A synopsis
    150 -- 171John W. Dawson Jr., Cheryl A. Dawson. Future tasks for Gödel scholars
    172 -- 184Wilfried Sieg. Only two letters: The correspondence between Herbrand and Gödel
    185 -- 193Warren D. Goldfarb. On Gödel s way in: the influence of Rudolf Carnap
    194 -- 206Martin Davis. What did Gödel believe and when did he believe it?
    207 -- 224Donald A. Martin. Göel s conceptual realism
    225 -- 238W. W. Tait. Gödel s reformulation of Gentzen s first consistency proof for arithmetic: the no-counterexample interpretation

    Volume 11, Issue 1

    1 -- 27Stephen G. Simpson. Mass problems and randomness
    28 -- 50Itay Ben-Yaacov. Compactness and independence in non first order frameworks
    51 -- 60Justin Tatch Moore. Proper forcing, cardinal arithmetic, and uncountable linear orders
    runs on