Journals in DBLP

Math. Log. Q.
2000, volume: 46, number: 1

1. Paul E. Howard, Kyriakos Keremedis, Jean E. Rubin, Adrienne Stanley
   Compactness in Countable Tychonoff Products and Choice. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2000, v:46, n:1, pp:3-16 [Journal]
   
2. Erik Palmgren
   An Effective Conservation Result for Nonstandard Arithmetic. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2000, v:46, n:1, pp:17-23 [Journal]
   
3. Olivier Esser, Roland Hinnion
   Large Cardinals and Ramifiability for Directed Sets. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2000, v:46, n:1, pp:25-34 [Journal]
   
4. Kyriakos Keremedis, Eleftherios Tachtsis
   On Lindelöf Metric Spaces and Weak Forms of the Axiom of Choice. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2000, v:46, n:1, pp:35-44 [Journal]
   
5. Victor Pambuccian
   Another Constructive Axiomatization of Euclidean Planes. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2000, v:46, n:1, pp:45-48 [Journal]
   
6. Giacomo Bonanno, Klaus Nehring
   Common Belief with the Logic of Individual Belief. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2000, v:46, n:1, pp:49-52 [Journal]
   
7. Lu Hong, Decheng Ding, Qian Lei
   A Splitting with Infimum in the d-c. e. Degrees. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2000, v:46, n:1, pp:53-76 [Journal]
   
8. Loredana Biacino, Giangiacomo Gerla, Mingsheng Ying
   Approximate Reasoning Based on Similarity. [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2000, v:46, n:1, pp:77-86 [Journal]
   
9. Pierre Matet
   Partition Relations for Strongly Normal Ideals on P_kappa(lambda). [Citation Graph (0, 0)][DBLP]
   Math. Log. Q., 2000, v:46, n:1, pp:87-103 [Journal]
   
10. Takeshi Yamazaki
    Some More Conservation Results on the Baire Category Theorem. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2000, v:46, n:1, pp:105-110 [Journal]
    
11. Henryk Kotlarski, Bozena Piekart
    Automorphisms of Models of True Arithmetic: More on Subgroups which Extend to a Maximal One Uniquely. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2000, v:46, n:1, pp:111-120 [Journal]
    
12. Jan von Plato
    A Problem of Normal Form in Natural Deduction. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2000, v:46, n:1, pp:121-124 [Journal]
    
13. Peter M. Schuster
    A Constructive Look at Generalised Cauchy Reals. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2000, v:46, n:1, pp:125-134 [Journal]
    
14. Hajime Ishihara
    A Note on the Gödel-Gentzen Translation. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2000, v:46, n:1, pp:135-137 [Journal]
    
15. Douglas S. Bridges, Ayan Mahalanobis
    Sequential Continuity of Functions in Constructive Analysis. [Citation Graph (0, 0)][DBLP]
    Math. Log. Q., 2000, v:46, n:1, pp:139-143 [Journal]