The SCEAS System
Navigation Menu

Journals in DBLP

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

  1. Denis R. Hirschfeldt
    Degree Spectra of Intrinsically C.E. Relations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:441-469 [Journal]
  2. Russell Miller
    The delta02-Spectrum of A Linear Order. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:470-486 [Journal]
  3. A. R. D. Mathias
    Slim Models of Zermelo Set Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:487-496 [Journal]
  4. Robert Goldblatt
    Quasi-Modal Equivalence of Canonical Structures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:497-508 [Journal]
  5. Mario Piazza
    Exchange Rules. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:509-516 [Journal]
  6. Herman Jurjus, Harrie C. M. de Swart
    Implication with Possible Exceptions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:517-535 [Journal]
  7. Dan E. Willard
    Self-Verifying Axiom Systems, The Incompleteness Theorem and Related Reflection Principles. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:536-596 [Journal]
  8. Andreja Prijatelj
    Free Ordered Algebraic Structures Towards Proof Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:597-608 [Journal]
  9. Andreas Weiermann
    Some Interesting Connections Between The Slow Growing Hierarchy and The Ackermann Function. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:609-628 [Journal]
  10. Arthur W. Apter
    Supercompactness and Measurable Limits of Strong Cardinals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:629-639 [Journal]
  11. Steve Jackson
    The Weak Square Property. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:640-657 [Journal]
  12. Howard Becker, Steve Jackson
    Supercompactness within The Projective Hierarchy. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:658-672 [Journal]
  13. Peter J. Cameron, Wilfrid Hodges
    Some Combinatorics of Imperfect Information. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:673-684 [Journal]
  14. Martin Otto
    Two Variable First-Order Logic over Ordered Domains. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:685-702 [Journal]
  15. Frank Wagner
    Fields of Finite Morley Rank. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:703-706 [Journal]
  16. Saharon Shelah, Juris Steprans
    The Covering Numbers of Mycielski Ideals Are All Equal. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:707-718 [Journal]
  17. Anand Pillay
    A Note on Existentially Closed Difference Fields with Algebraically Closed Fixed Field. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:719-721 [Journal]
  18. Luis Jaime Corredor
    Fusion of 2-Elements in Groups of Finite Morley Rank. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:722-730 [Journal]
  19. Frank Stephan
    On The Structures Inside Truth-Table Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:731-770 [Journal]
  20. Franz-Viktor Kuhlmann
    Elementary Properties of Power Series Fields over Finite Fields. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:771-791 [Journal]
  21. Aleksander Blaszczyk, Saharon Shelah
    Regular Subalgebras of Complete Boolean Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:792-800 [Journal]
  22. Itay Neeman, Jindrich Zapletal
    Proper Forcing and L(Real). [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:801-810 [Journal]
  23. James E. Baumgartner, András Hajnal
    Polarized Partition Relations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:811-821 [Journal]
  24. Byunghan Kim
    Simplicity, and Stability in There. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:822-836 [Journal]
  25. Marko Djordjevic
    Finite Variable Logic, Stability and Finite Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:837-858 [Journal]
  26. Ludomir Newelski
    Small Profinite Groups. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:859-872 [Journal]
  27. Tamara Lakins Hummel, Carl G. Jockusch Jr.
    Ramsey's Theorem for Computably Enumerable Colorings. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:873-880 [Journal]
  28. Peter Cholak, Marcia J. Groszek, Theodore A. Slaman
    An Almost Deep Degree. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:881-901 [Journal]
  29. Su Gao
    Some Dichotomy Theorems for Isomorphism Relations of Countable Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:902-922 [Journal]
  30. Eberhard Herrmann
    Infinite Chains and Antichains in Computable Partial Orderings. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:923-934 [Journal]
  31. Gerhard Jäger, Thomas Strahm
    Upper Bounds for Metapredicative Mahlo in Explicit Mathematics and Admissible Set Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:935-958 [Journal]
  32. Renling Jin
    Existence of Some Sparse Sets of Nonstandard Natural Numbers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2001, v:66, n:2, pp:959-973 [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