External Links

    Journal: Bulletin of Symbolic Logic

    Volume 12, Issue 4

    529 -- 590Kai Hauser. Gödel s Program Revisited, Part I: The Turn to Phenomenology
    591 -- 600Sy-David Friedman. Internal Consistency and the Inner Model Hypothesis

    Volume 12, Issue 3

    369 -- 389Richard A. Shore. Degree Structures: Local and Global Investigations
    390 -- 410Joseph S. Miller, André Nies. Randomness and Computability: Open Questions
    411 -- 491Rodney G. Downey, Denis R. Hirschfeldt, André Nies, Sebastiaan Terwijn. Calibrating Randomness

    Volume 12, Issue 2

    177 -- 190Andreas Weiermann. Classifying the Provably Total Functions of PA
    191 -- 218Wesley Calvert, Julia F. Knight. Classification from a Computable Viewpoint
    219 -- 240John Corcoran. Schemata: The Concept of Schema in the History of Logic
    241 -- 266Bohuslav Balcar, Thomas Jech. Weak Distributivity, a Problem of von Neumann and the Mystery of Measurability
    267 -- 289Liesbeth De Mol. Closing the Circle: An Analysis of Emil Post s Early Work

    Volume 12, Issue 1

    1 -- 42Ignacio Jané. common concept of consequence?
    43 -- 59Dag Normann. Computing with functionals - computability theory or computer science?
    60 -- 99Bernard Linsky, Edward N. Zalta. What is neologicism?
    100 -- 125H. Jerome Keisler. Nonstandard arithmetic and reverse mathematics
    runs on