Journals in DBLP

J. Symb. Log.
2002, volume: 67, number: 1

1. Zhaohui Zhu, Zhenghua Pan, Shifu Chen, Wujia Zhu
   Valuation Structure. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2002, v:67, n:1, pp:1-23 [Journal]
   
2. Olivier Chapuis, Ehud Hrushovski, Pascal Koiran, Bruno Poizat
   La Limite des Theories de Courbes Generiques. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2002, v:67, n:1, pp:24-34 [Journal]
   
3. Alessandra Carbone
   The Cost of A Cycle Is A Square. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2002, v:67, n:1, pp:35-60 [Journal]
   
4. Bradd Hart, Ehud Hrushovski, Michael C. Laskowski
   Unique Decomposition in Classifiable Theories. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2002, v:67, n:1, pp:61-68 [Journal]
   
5. Steffen Lempp, Andrea Sorbi
   Embedding Finite Lattices into the Sigma⁰₂ Enumeration Degrees. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2002, v:67, n:1, pp:69-90 [Journal]
   
6. Morteza Moniri, Mojtaba Moniri
   Some Weak Fragments of HA and Certain Closure Properties. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2002, v:67, n:1, pp:91-103 [Journal]
   
7. Stephen Bellantoni, Martin Hofmann
   A New "Feasible" Arithmetic. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2002, v:67, n:1, pp:104-116 [Journal]
   
8. S. T. Stefani
   An Algebraic Approach to Categories of Partial Morphisms. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2002, v:67, n:1, pp:117-129 [Journal]
   
9. David Asperó
   A Maximal Bounded Forcing Axiom. [Citation Graph (0, 0)][DBLP]
   J. Symb. Log., 2002, v:67, n:1, pp:130-142 [Journal]
   
10. Omar de la Cruz, Eric Hall, Paul E. Howard, Jean E. Rubin, Adrienne Stanley
    Definitions of Compactness and The Axiom of Choice. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:1, pp:143-161 [Journal]
    
11. Jean-Baptiste Joinet, Harold Schellinx, Lorenzo Tortora de Falco
    SN and CR for Free-Style LK^tq: Linear Decorations and Simulation of Normalization. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:1, pp:162-196 [Journal]
    
12. Robin Hirsch, Ian M. Hodkinson, Roger D. Maddux
    Relation Algebra Reducts of Cylindric Algebras and An Application to Proof Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:1, pp:197-213 [Journal]
    
13. Hirotaka Kikyo, Saharon Shelah
    The Strict Order Property and Generic Automorphisms. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:1, pp:214-216 [Journal]
    
14. Gregory L. Cherlin, Simon Thomas
    Two Cardinal Properties of Homogeneous Graphs. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:1, pp:217-220 [Journal]
    
15. Robin Hirsch, Ian M. Hodkinson, Ágnes Kurucz
    On Modal Logics Between K x K x K and S5 x S5 x S5. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:1, pp:221-234 [Journal]
    
16. Mihai Prunescu
    A Model-Theoretic Proof for P unequal to NP over All Infinite Abelian Groups. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:1, pp:235-238 [Journal]
    
17. Elisabeth Bouscaren, Françoise Delon
    Minimal Groups in Separably Closed Fields. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:1, pp:239-259 [Journal]
    
18. Thomas Strahm
    Wellordering Proofs for Metapredicative Mahlo. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:1, pp:260-278 [Journal]
    
19. Arnold Beckmann
    Proving Consistency of Equational Theories in Bounded Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:1, pp:279-296 [Journal]
    
20. Heike Mildenberger, Saharon Shelah
    The Relative Consistency of g < cf (Sym(omega)). [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:1, pp:297-314 [Journal]
    
21. Mauro Di Nasso
    An Axiomatic Presentation of The Nonstandard Methods in Mathematics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:1, pp:315-325 [Journal]
    
22. Markus Junker, Ingo Kraus
    Theories with Equational Forking. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:1, pp:326-340 [Journal]
    
23. Murray A. Marshall
    Open Questions in The Theory of Spaces of Orderings. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:1, pp:341-352 [Journal]
    
24. Martin W. Bunder
    A Classification of Intersection Type Systems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:1, pp:353-368 [Journal]
    
25. Robert Bonnet, Matatyahu Rubin
    On Essentially Low, Canonically Well-Generated Boolean Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:1, pp:369-396 [Journal]
    
26. Larisa Maksimova
    Complexity of Interpolation and Related Problems in Positive Calculi. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:1, pp:397-408 [Journal]
    
27. Peter Cholak, Rodney G. Downey, Stephen Walk
    Maximal Contiguous Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:1, pp:409-437 [Journal]
    
28. Chris Miller, Patrick Speissegger
    Pfaffian Differential Equations over Exponential O-Minimal Structures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:1, pp:438-448 [Journal]
    
29. Todd Eisworth
    Forcing and Stable Ordered-Union Ultrafilters. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:1, pp:449-464 [Journal]
    
30. Dan E. Willard
    How to Extend The Semantic Tableaux and Cut-Free Versions of The Second Incompleteness Theorem Almost to Robinson's Arithmetic Q. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:1, pp:465-496 [Journal]