External Links

    Journal: Bulletin of Symbolic Logic

    Volume 2, Issue 4

    379 -- 391Patrick Dehornoy. Another use of set theory
    392 -- 404André Nies, Richard A. Shore, Theodore A. Slaman. Definability in the recursively enumerable degrees
    405 -- 421Jean-Louis Krivine. Une preuve formelle et intuitionniste du théorème de complétude de la logique classique
    422 -- 443Lauri Hella, Phokion G. Kolaitis, Kerkko Luosto. Almost everywhere equivalence of logics in finite model theory

    Volume 2, Issue 3

    243 -- 283Kosta Dosen. Deductive completeness
    284 -- 321Robert I. Soare. Computability and recursion
    322 -- 338Patrick Lincoln, John C. Mitchell, Andre Scedrov. Linear logic proof games and optimization
    339 -- 348Slawomir Solecki. Analytic ideals
    349 -- 366Igor Walukiewicz. A note on the completeness of Kozen s axiomatisation of the propositional mu-calculus

    Volume 2, Issue 2

    127 -- 158Leon Henkin. The discovery of my completeness proofs
    159 -- 188Wolfram Pohlers. Pure proof theory, aims, methods and results
    189 -- 198Yeneng Sun. Hyperfinite law of large numbers
    199 -- 213Leo Harrington, Robert I. Soare. Definability, automorphisms, and dynamic properties of computably enumerable sets

    Volume 2, Issue 1

    1 -- 71Akihiro Kanamori. The mathematical development of set theory from Cantor to Cohen
    72 -- 83Ya acov Peterzil, Sergei Starchenko. Geometry, calculus and Zil ber s conjecture
    84 -- 93Olivier Chapuis. From metabelian Q-vector spaces to new infinity-stable groups
    94 -- 107Greg Hjorth. Two applications of inner model theory to the study of Sigma:::1:::::2:: sets
    runs on