Journals in DBLP

J. Symb. Log.
1999, volume: 64, number: 1

1. Moti Gitik
   On Closed Unbounded Sets Consisting of Former Regulars. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1999, v:64, n:1, pp:1-12 [Journal]
   
2. Peter Cholak, Sergei S. Goncharov, Bakhadyr Khoussainov, Richard A. Shore
   Computably Categorical Structures and Expansions by Constants. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1999, v:64, n:1, pp:13-37 [Journal]
   
3. Qi Feng
   Rado's Conjecture and Presaturation of The Nonstationary Ideal on Omega1. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1999, v:64, n:1, pp:38-44 [Journal]
   
4. Rodney G. Downey, Carl G. Jockusch Jr.
   Effective Presentability of Boolean Algebras of Cantor-Bendixson Rank 1. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1999, v:64, n:1, pp:45-52 [Journal]
   
5. Gerhard Jäger, Reinhard Kahle, Anton Setzer, Thomas Strahm
   The Proof-Theoretic Analysis of Transfinitely Iterated Fixed Point Theories. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1999, v:64, n:1, pp:53-67 [Journal]
   
6. Tuna Altinel, Gregory L. Cherlin
   On Central Extensions of Algebraic Groups. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1999, v:64, n:1, pp:68-74 [Journal]
   
7. Slawomir Solecki, Otmar Spinas
   Dominating and Unbounded Free Sets. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1999, v:64, n:1, pp:75-80 [Journal]
   
8. Paul Larson
   An S_max Variation for One Souslin Tree. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1999, v:64, n:1, pp:81-98 [Journal]
   
9. Marcus Kracht, Frank Wolter
   Normal Monomodal Logics Can Simulate All Others. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1999, v:64, n:1, pp:99-138 [Journal]
   
10. Ralf-Dieter Schindler
    Successive Weakly Compact or Singular Cardinals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:1, pp:139-146 [Journal]
    
11. Hisato Muraki
    Non-Distributive Upper Semilattice of Kleene Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:1, pp:147-158 [Journal]
    
12. Gregory L. Cherlin
    Infinite Imprimitive Homogeneous 3-Edge-Colored Complete Graphs. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:1, pp:159-179 [Journal]
    
13. Mirna Dzamonja, Saharon Shelah
    Similar But Not The Same: Various Versions of Clubs Do Not Coincide. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:1, pp:180-198 [Journal]
    
14. U. Felgner, J. K. Truss
    The Independence of The Prime Ideal Theorem From The Order-Extension Principle. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:1, pp:199-215 [Journal]
    
15. Salma Kuhlmann
    Infinitary Properties of Valued and Ordered Vector Spaces. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:1, pp:216-226 [Journal]
    
16. Kosta Dosen, Zoran Petric
    Cartesian Isomorphisms Are Symmetric Monoidal: A Justification of Linear Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:1, pp:227-242 [Journal]
    
17. Hajnal Andréka, Ian M. Hodkinson, István Németi
    Finite Algebras of Relations Are Representable on Finite Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:1, pp:243-267 [Journal]
    
18. A. James Humphreys, Stephen G. Simpson
    Separation and Weak König's Lemma. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:1, pp:268-278 [Journal]
    
19. Janusz Czelakowski, W. Dziobiak
    Deduction Theorems Within RM and Its Extensions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:1, pp:279-290 [Journal]
    
20. Hongwei Xi
    Upper Bounds for Standardizations and An Application. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:1, pp:291-303 [Journal]
    
21. Stefano Berardi
    Intuitionistic Completeness for First Order Classical Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:1, pp:304-312 [Journal]
    
22. Andrea Cantini, Pierluigi Minari
    Uniform Inseparability in Explicit Mathematics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:1, pp:313-326 [Journal]
    
23. Jeremy Avigad, Richard Sommer
    The Model-Theoretic Ordinal Analysis of Theories of Predicative Strength. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:1, pp:327-349 [Journal]
    
24. Amir Leshem, Menachem Magidor
    The Independence of delta¹_n. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:1, pp:350-362 [Journal]
    
25. Felipe Cucker, Klaus Meer
    Logics Which Capture Complexity Classes Over The Reals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:1, pp:363-390 [Journal]