External Links

    Journal: Bulletin of Symbolic Logic

    Volume 17, Issue 4

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

    Volume 17, Issue 3

    337 -- 360Tatiana Arrigoni. V = L and intuitive plausibility in set theory. A case study
    361 -- 393José Ferreirós. On arbitrary sets and ZFC
    394 -- 430Guido Gherardi. Alan Turing and the foundations of computable analysis
    431 -- 454Antonio Montalbán. Open questions in reverse mathematics
    455 -- 461Liang Yu. A new proof of Friedman's conjecture

    Volume 17, Issue 2

    161 -- 229Murdoch James Gabbay. Foundations of nominal techniques: logic and semantics of variables in abstract syntax
    230 -- 251Alexandra Shlapentokh. Defining integers
    252 -- 264Simon Thomas. A descriptive view of combinatorial group theory

    Volume 17, Issue 1

    1 -- 72Stevo Todorcevic. Combinatorial dichotomies in set theory
    73 -- 117Vasco Brattka, Guido Gherardi. Effective choice and boundedness principles in computable analysis
    runs on