External Links

    Journal: Bulletin of Symbolic Logic

    Volume 3, Issue 1

    1 -- 16Paul C. Eklof. Set theory generated by Abelian group theory
    17 -- 52Jeremy Avigad, Richard Sommer. A model-theoretic approach to ordinal analysis
    53 -- 69Erich Grädel, Phokion G. Kolaitis, Moshe Y. Vardi. On the decision problem for two-variable first-order logic
    runs on