Journals in DBLP

J. Symb. Log.
2001, volume: 66, number: 3

1. Carlos Areces, Patrick Blackburn, Maarten Marx
   Hybrid Logics: Characterization, Interpolation and Complexity. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2001, v:66, n:3, pp:977-1010 [Journal]
   
2. Mark Reynolds
   An Axiomatization of Full Computation Tree Logic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2001, v:66, n:3, pp:1011-1057 [Journal]
   
3. Greg Hjorth
   A Boundedness Lemma for Iterations. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2001, v:66, n:3, pp:1058-1072 [Journal]
   
4. Gerhard Jäger
   First Order Theories for Nonmonotone Inductive Definitions: Recursively Inaccessible and Mahlo. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2001, v:66, n:3, pp:1073-1089 [Journal]
   
5. J. Vickers, Philip D. Welch
   On Elementary Embeddings from An Inner Model to The Universe. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2001, v:66, n:3, pp:1090-1116 [Journal]
   
6. Zoe Chatzidakis, Peter Pappas
   A Note on The Isomorphism Problem for SK[G]. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2001, v:66, n:3, pp:1117-1120 [Journal]
   
7. J. Todd Wilson
   An Intuitionistic Version of Zermelo's Proof That Every Choice Set Can Be Well-Ordered. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2001, v:66, n:3, pp:1121-1126 [Journal]
   
8. Enrique Casanovas, Martin Ziegler 0002
   Stable Theories with A New Predicate. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2001, v:66, n:3, pp:1127-1140 [Journal]
   
9. Timothy Surendonk
   Canonicity for Intensional Logics with Even Axioms. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2001, v:66, n:3, pp:1141-1156 [Journal]
   
10. Dieter Spreen
    Can Partial Indexings be Totalized? [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:3, pp:1157-1185 [Journal]
    
11. Joel David Hamkins
    Unfoldable Cardinals and The GCH. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:3, pp:1186-1198 [Journal]
    
12. Sebastiaan Terwijn, Domenico Zambella
    Computational Randomness and Lowiness. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:3, pp:1199-1205 [Journal]
    
13. Daniel Pitteloud
    Existence of Prime Elements in Rings of Generalized Power Series. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:3, pp:1206-1216 [Journal]
    
14. Neil Immerman, Jonathan F. Buss, David A. Mix Barrington
    Number of Variables Is Equivalent to Space. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:3, pp:1217-1230 [Journal]
    
15. Philp Ehrlich
    Number Systems with Simplicity Hierarchies: A Generalization of Conway's Theory of Surreal Numbers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:3, pp:1231-1258 [Journal]
    
16. Michael Hrusák, Juris Steprans, Yi Zhang
    Confinitary Groups, Almost Disjoint and Dominating Families. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:3, pp:1259-1276 [Journal]
    
17. Arnold Beckmann
    Exact Bounds for Lengths of Reductions in Typed lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:3, pp:1277-1285 [Journal]
    
18. Tapani Hyttinen, Saharon Shelah
    Main Gap for Locally Saturated Elementary Submodels of A Homogeneous Structure. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:3, pp:1286-1302 [Journal]
    
19. Jan Kraszewski
    Properties of Ideals on The Generalized Cantor Spaces. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:3, pp:1303-1320 [Journal]
    
20. P. V. Andreev, E. I. Gordon
    An Axiomatics for Nonstandard Set Theory, Based on von Neumann-Bernays-Gödel Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:3, pp:1321-1341 [Journal]
    
21. Gregory L. Cherlin, Niandong Shi
    Forbidden Subgraphs and Forbidden Substructures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:3, pp:1342-1352 [Journal]
    
22. Christopher Hardin, Daniel J. Velleman
    The Mean Value Theorem in Second Order Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:3, pp:1353-1358 [Journal]
    
23. Saharon Shelah, Lee J. Stanley
    Forcing Many Positive Polarized Partition Relations Between A Cardinal and Its Powerset. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:3, pp:1359-1370 [Journal]
    
24. Rodney G. Downey, Denis R. Hirschfeldt, Steffen Lempp, Reed Solomon
    A delta⁰₂ Set with No Infinite Low Subset in Either It or Its Complement. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:3, pp:1371-1381 [Journal]
    
25. Bektur Sembiuly Baizhanov
    Expansion of A Model of A Weakly O-Minimal Theory by A Family of Unary Predicates. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:3, pp:1382-1414 [Journal]
    
26. Frank Wolter, Michael Zakharyaschev
    Decidable Fragments of First-Order Modal Logics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:3, pp:1415-1438 [Journal]
    
27. Steve Warner
    The Cofinality of The Random Graph. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:3, pp:1439-1446 [Journal]
    
28. Julia F. Knight
    Minimality and Completions of PA. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:3, pp:1447-1457 [Journal]
    
29. Andrei S. Morozov, J. K. Truss
    On Computable Automorphisms of The Rational Numbers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:3, pp:1458-1470 [Journal]
    
30. Francis Oger
    Elementary Equivalence for Abelian-By-Finite and Nilpotent Groups. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:3, pp:1471-1480 [Journal]
    
31. Ralf-Dieter Schindler
    Proper Forcing and Remarkable Cardinals II. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:3, pp:1481-1492 [Journal]
    
32. Ingo Brigandt
    Quantifier Elimination in Tame Infinite p-ADIC Fields. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:3, pp:1493-1503 [Journal]