Journals in DBLP

Math. Log. Q.
2003, volume: 49, number: 2

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