External Links

    Journal: Annals of Pure and Applied Logic

    Volume 23, Issue 2-3

    101 -- 120René David. 1 real singleton
    121 -- 125René David. 1 reals
    127 -- 178Michael Beeson. Recursive models for constructive set theories
    179 -- 198Yuri Gurevich, Saharon Shelah. Monadic theory of order and topology in ZFC
    199 -- 281Daniel J. Velleman. Morasses, diamond, and forcing

    Volume 23, Issue 1

    1 -- 25Andreas Baudisch. Decidability and stability of free nilpotent lie algebras and free nilpotent p-groups of finite exponent
    27 -- 53Don H. Faust. The Boolean algebra of formulas of first-order logic
    55 -- 98Robin J. Grayson. Concepts of general topology in constructive mathematics and in sheaves, II
    99 -- 0Robin J. Grayson. A correction to "concepts of general topology in constructive mathematics and in sheaves"
    runs on