External Links

    Journal: Math. Log. Q.

    Volume 49, Issue 2

    111 -- 114Andreas Blass, Victor Pambuccian. Sperner spaces and first-order logic
    115 -- 128Rami P. Grossberg, Alexei Kolesnikov, Ivan Tomasic, Monica Van Dieren. The equality S1 = D = R
    129 -- 149Wolfram Menzel, Frank Stephan. Topological aspects of numberings
    150 -- 162Stefano Baratella, Siu-Ah Ng. Consequences of neocompact quantifier elimination
    163 -- 172George Barmpalias. A transfinite hierarchy of reals
    173 -- 178Lorenz Halbeisen. Making doughnuts of Cohen reals
    179 -- 186Kyriakos Keremedis. The failure of the axiom of choice implies unrest in the theory of Lindelöf metric spaces
    187 -- 200Nitta Takashi, Okada Tomoko, Athanassios Tzouvaras. Classification of non-well-founded sets and an application
    201 -- 209Norihiro Kamide. Classical linear logics with mix separation principle
    210 -- 213Mihai Prunescu. P != NP for all infinite Boolean algebras
    214 -- 216Katsumasa Ishii. A note on the first incompleteness theorem
    runs on