The SCEAS System
Navigation Menu

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 Sigma02 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 LKtq: 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]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002