The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1989, volume: 54, number: 2

  1. Yuri Gurevich, Saharon Shelah
    On the Strength of the Interpretation Method. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:2, pp:305-323 [Journal]
  2. S. Barry Cooper
    A Jump Class of Noncappable Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:2, pp:324-353 [Journal]
  3. Anthony Robinson
    Equational Logic of Partial Functions Under Kleene Equality: A Complete and an Incomplete Set of Rules. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:2, pp:354-362 [Journal]
  4. David M. Clark
    The Structure of Algebraically and Existentially Closed Stone and Double Stone Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:2, pp:363-375 [Journal]
  5. Steffen Lempp, Theodore A. Slaman
    A Limit on Relative Genericity in the Recursively Enumerable Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:2, pp:376-395 [Journal]
  6. James H. Schmerl
    Partially Ordered Sets and the Independence Property. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:2, pp:396-401 [Journal]
  7. Jörg H. Siekmann, Peter Szabó
    The Undecidability of the DA-Unification Problem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:2, pp:402-414 [Journal]
  8. Ron Sigal
    Undecidable Complexity Statements in E alpha S-Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:2, pp:415-427 [Journal]
  9. Ivan N. Soskov
    Definability Via Enumerations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:2, pp:428-440 [Journal]
  10. Alan H. Mekler, Saharon Shelah
    Uniformization Principles. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:2, pp:441-459 [Journal]
  11. Warren D. Goldfarb
    Random Models and the Maslov Class. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:2, pp:460-466 [Journal]
  12. Qi Feng
    An Ideal Characterization of Mahlo Cardinals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:2, pp:467-473 [Journal]
  13. M. Victoria Marshall R.
    Higher Order Reflection Principles. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:2, pp:474-489 [Journal]
  14. Robert S. Lubarsky
    Sacks Forcing Sometimes Needs Help to Produce a Minimal Upper Bound. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:2, pp:490-498 [Journal]
  15. Françoise Delon, François Lucas
    Inclusions et Produits de Groupes Abeliens Ordonnes Etudies au Premier Ordre. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:2, pp:499-511 [Journal]
  16. Zoe Chatzidakis
    An Expansion of ~ Fp. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:2, pp:512-521 [Journal]
  17. James S. Royer
    Two Recursion Theoretic Characterizations of Proof Speed-Ups. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:2, pp:522-526 [Journal]
  18. S. Barry Cooper
    The Strong Anticupping Property for Recursively Enumerable Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:2, pp:527-539 [Journal]
  19. Akihiro Kanamori
    Regressive Partitions and Borel Diagonalization. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:2, pp:540-552 [Journal]
  20. Rodney G. Downey
    Recursively Enumerable m- and tt-Degrees. I: The Quantity of m- Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:2, pp:553-567 [Journal]
  21. C. A. Johnson
    On Ideals and Stationary Reflection. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:2, pp:568-575 [Journal]
  22. Petr Hájek, Antonín Kucera
    On Recursion Theory in I Sigma1. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:2, pp:576-589 [Journal]
  23. Martin W. Bunder, J. Roger Hindley, Jonathan P. Seldin
    On Adding (xi) to Weak Equality in Combinatory Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:2, pp:590-607 [Journal]
  24. Stanley S. Wainer
    Slow Growing Versus Fast Growing. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:2, pp:608-614 [Journal]
  25. Heinz-Dieter Ebbinghaus, J. Fernandez-Prida, M. Garrido, Daniel Lascar, Mario Rodríguez-Artalejo
    European Summer Meeting of the Association for Symbolic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:2, pp:647-672 [Journal]
  26. Yang Dongping
    The Third Asian Conference in Mathematical Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:2, pp:673-685 [Journal]
  27. Hajnal Andréka, M. Ferenczi, István Németi, György Serény
    Algebraic Logic Conference. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1989, v:54, n:2, pp:686- [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