Journals in DBLP

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

1. Jacob Lurie
   Anti-Admissible Sets. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1999, v:64, n:2, pp:407-435 [Journal]
   
2. Péter Komjáth
   Some Remarks on the Partition Calculus of Ordinals. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1999, v:64, n:2, pp:436-442 [Journal]
   
3. Mitch Rudominer
   The Largest Countable Inductive Set is A Mouse Set. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1999, v:64, n:2, pp:443-459 [Journal]
   
4. A. J. Heaton
   A Jump Operator for Subrecursion Theories. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1999, v:64, n:2, pp:460-468 [Journal]
   
5. Otmar Spinas
   Countable Filters on Omega. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1999, v:64, n:2, pp:469-478 [Journal]
   
6. Grigori Mints
   Cut-Elimination for Simple Type Theory with An Axiom of Choice. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1999, v:64, n:2, pp:479-485 [Journal]
   
7. John L. Bell
   Frege's Theorem in A Constructive Setting. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1999, v:64, n:2, pp:486-488 [Journal]
   
8. Tamara Lakins Hummel, Carl G. Jockusch Jr.
   Generalized Cohesiveness. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1999, v:64, n:2, pp:489-516 [Journal]
   
9. Michael Rathjen
   Explicit Mathematics with The Monotone Fixed Point Principle. II: Models. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 1999, v:64, n:2, pp:517-550 [Journal]
   
10. Vladimir Kanovei
    On Non-Wellfounded Iterations of The Perfect Set Forcing. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:551-574 [Journal]
    
11. Steven Givant
    Universal Classes of Simple Relation Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:575-589 [Journal]
    
12. Kai Hauser, W. Hugh Woodin
    Pi¹₃ Sets and Pi¹₃ Singletons. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:590-616 [Journal]
    
13. Mike Prest
    Tensor Product and Theories of Modules. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:617-628 [Journal]
    
14. Dan Saracino
    Prime E.C. Commutative Rings in Characteristic n bigger equal to 2. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:629-633 [Journal]
    
15. Tapani Hyttinen, Saharon Shelah
    Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part C. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:634-642 [Journal]
    
16. Yuefei Sui, Zaiyue Zhang
    The Cupping Theorem in R/M. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:643-650 [Journal]
    
17. Joohee Jeong
    A Decidable Variety That Is Finitely Undecidable. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:651-677 [Journal]
    
18. John T. Baldwin, Rami P. Grossberg, Saharon Shelah
    Transfering Saturation, The Finite Cover Property, and Stability. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:678-684 [Journal]
    
19. Mamoru Kaneko
    Common Knowledge Logic and Game Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:685-700 [Journal]
    
20. Juris Steprans
    Unions of Rectifiable Curves in Euclidean Space and The Covering Number of The Meagre Ideal. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:701-726 [Journal]
    
21. Andreas Blass, Heike Mildenberger
    On The Confinality of Ultrapowers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:727-736 [Journal]
    
22. Yi Zhang
    On A Class of M.A.D. Families. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:737-746 [Journal]
    
23. Szabolcs Mikulás, Maarten Marx
    Undecidable Relativizations of Algebras of Relations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:747-760 [Journal]
    
24. Khaled Jaber
    Équations Génériques Dans Un Groupe Stable Nilpotent. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:761-768 [Journal]
    
25. Jeffry L. Hirst
    Ordinal Inequalities, Transfinite Induction, and Reverse Mathematics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:769-774 [Journal]
    
26. Alexandre A. Ivanov
    Generic Expansions of Omega-Categorical Structures and Semantics of Generalized Quantifiers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:775-789 [Journal]
    
27. Mitsuhiro Okada, Kazushige Terui
    The Finite Model Property for Various Fragments of Intuitionistic Linear Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:790-802 [Journal]
    
28. Natacha Portier
    Stabilité Polynômiale des Corps Différentiels. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:803-816 [Journal]
    
29. Steven Buechler
    Lascar Strong Types in Some Simple Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:817-824 [Journal]
    
30. Hans Schoutens
    Existentially Closed Models of The Theory of Artinian Local Rings. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:825-845 [Journal]
    
31. Alexandru Baltag
    Interpolation and Preservation for Pebble Logics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:846-858 [Journal]
    
32. Silvio Ghilardi
    Unification in Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:859-880 [Journal]
    
33. Jon Barwise, Johan van Benthem
    Interpolation, Preservation, and Pebble Games. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:881-903 [Journal]