Journals in DBLP

J. Symb. Log.
1993, volume: 58, number: 2

1. Bruno Poizat, Frank O. Wagner
   Sous-Groupes Periodiques d'un Groupe Stable. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1993, v:58, n:2, pp:385-400 [Journal]
   
2. Tomek Bartoszynski, Haim Judah, Saharon Shelah
   The Cichon Diagram. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1993, v:58, n:2, pp:401-423 [Journal]
   
3. Pawel Pazdyka
   Definability of Models by Means of Existential Formulas without Identity. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1993, v:58, n:2, pp:424-434 [Journal]
   
4. Saharon Shelah, D. H. Fremlin
   Pointwise Compact and Stable Sets of Measurable Functions. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1993, v:58, n:2, pp:435-455 [Journal]
   
5. Margarita Otero
   Quadratic Forms in Normal Open Induction. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1993, v:58, n:2, pp:456-476 [Journal]
   
6. Andrea Cantini
   Extending the First-Order Theory of Combinators with Self-Referential Truth. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1993, v:58, n:2, pp:477-513 [Journal]
   
7. Gerard Allwein, J. Michael Dunn
   Kripke Models for Linear Logic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1993, v:58, n:2, pp:514-545 [Journal]
   
8. Mark Kelly Davis, Ali Nesin
   On Solvable Centerless Groups of Morley Rank 3. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1993, v:58, n:2, pp:546-556 [Journal]
   
9. Douglas K. Brown, Stephen G. Simpson
   The Baire Category Theorem in Weak Subsystems of Second-Order Arithmetic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1993, v:58, n:2, pp:557-578 [Journal]
   
10. Richard G. Heck Jr.
    The Development of Arithmetic in Frege's Grundgesetze der Arithmetik. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1993, v:58, n:2, pp:579-601 [Journal]
    
11. Sven Ove Hansson
    Theory Contraction and Base Contraction Unified. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1993, v:58, n:2, pp:602-625 [Journal]
    
12. Yuichi Komori, Sachio Hirokawa
    The Number of Proofs for a BCK-Formula. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1993, v:58, n:2, pp:626-628 [Journal]
    
13. Peter Cholak, Rodney G. Downey
    On the Cantor-Bendixon Rank of Recursively Enumerable Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1993, v:58, n:2, pp:629-640 [Journal]
    
14. M. H. Mourgues, Jean-Pierre Ressayre
    Every Real Closed Field Has an Integer Part. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1993, v:58, n:2, pp:641-647 [Journal]
    
15. Ludomir Newelski
    Scott Analysis of Pseudotypes. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1993, v:58, n:2, pp:648-663 [Journal]
    
16. Andreas Weiermann
    Bounds for the Closure Ordinals of Essentially Monotonic Increasing Functions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1993, v:58, n:2, pp:664-671 [Journal]
    
17. P. T. Bateman, Carl G. Jockusch Jr., Alan R. Woods
    Decidability and Undecidability of Theories with a Predicate for the Primes. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1993, v:58, n:2, pp:672-687 [Journal]
    
18. Maria Luisa Bonet, Samuel R. Buss
    The Deduction Rule and Linear and Near-Linear Proof Simulations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1993, v:58, n:2, pp:688-709 [Journal]