The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1999, volume: 64, number: 2

  1. Jacob Lurie
    Anti-Admissible Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:407-435 [Journal]
  2. Péter Komjáth
    Some Remarks on the Partition Calculus of Ordinals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:436-442 [Journal]
  3. Mitch Rudominer
    The Largest Countable Inductive Set is A Mouse Set. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:443-459 [Journal]
  4. A. J. Heaton
    A Jump Operator for Subrecursion Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:460-468 [Journal]
  5. Otmar Spinas
    Countable Filters on Omega. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:469-478 [Journal]
  6. Grigori Mints
    Cut-Elimination for Simple Type Theory with An Axiom of Choice. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:479-485 [Journal]
  7. John L. Bell
    Frege's Theorem in A Constructive Setting. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:486-488 [Journal]
  8. Tamara Lakins Hummel, Carl G. Jockusch Jr.
    Generalized Cohesiveness. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:489-516 [Journal]
  9. Michael Rathjen
    Explicit Mathematics with The Monotone Fixed Point Principle. II: Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:517-550 [Journal]
  10. Vladimir Kanovei
    On Non-Wellfounded Iterations of The Perfect Set Forcing. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:551-574 [Journal]
  11. Steven Givant
    Universal Classes of Simple Relation Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:575-589 [Journal]
  12. Kai Hauser, W. Hugh Woodin
    Pi13 Sets and Pi13 Singletons. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:590-616 [Journal]
  13. Mike Prest
    Tensor Product and Theories of Modules. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:617-628 [Journal]
  14. Dan Saracino
    Prime E.C. Commutative Rings in Characteristic n bigger equal to 2. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:629-633 [Journal]
  15. Tapani Hyttinen, Saharon Shelah
    Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part C. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:634-642 [Journal]
  16. Yuefei Sui, Zaiyue Zhang
    The Cupping Theorem in R/M. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:643-650 [Journal]
  17. Joohee Jeong
    A Decidable Variety That Is Finitely Undecidable. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:651-677 [Journal]
  18. John T. Baldwin, Rami P. Grossberg, Saharon Shelah
    Transfering Saturation, The Finite Cover Property, and Stability. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:678-684 [Journal]
  19. Mamoru Kaneko
    Common Knowledge Logic and Game Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:685-700 [Journal]
  20. Juris Steprans
    Unions of Rectifiable Curves in Euclidean Space and The Covering Number of The Meagre Ideal. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:701-726 [Journal]
  21. Andreas Blass, Heike Mildenberger
    On The Confinality of Ultrapowers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:727-736 [Journal]
  22. Yi Zhang
    On A Class of M.A.D. Families. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:737-746 [Journal]
  23. Szabolcs Mikulás, Maarten Marx
    Undecidable Relativizations of Algebras of Relations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:747-760 [Journal]
  24. Khaled Jaber
    Équations Génériques Dans Un Groupe Stable Nilpotent. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:761-768 [Journal]
  25. Jeffry L. Hirst
    Ordinal Inequalities, Transfinite Induction, and Reverse Mathematics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:769-774 [Journal]
  26. Alexandre A. Ivanov
    Generic Expansions of Omega-Categorical Structures and Semantics of Generalized Quantifiers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:775-789 [Journal]
  27. Mitsuhiro Okada, Kazushige Terui
    The Finite Model Property for Various Fragments of Intuitionistic Linear Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:790-802 [Journal]
  28. Natacha Portier
    Stabilité Polynômiale des Corps Différentiels. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:803-816 [Journal]
  29. Steven Buechler
    Lascar Strong Types in Some Simple Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:817-824 [Journal]
  30. Hans Schoutens
    Existentially Closed Models of The Theory of Artinian Local Rings. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:825-845 [Journal]
  31. Alexandru Baltag
    Interpolation and Preservation for Pebble Logics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:846-858 [Journal]
  32. Silvio Ghilardi
    Unification in Intuitionistic Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:859-880 [Journal]
  33. Jon Barwise, Johan van Benthem
    Interpolation, Preservation, and Pebble Games. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1999, v:64, n:2, pp:881-903 [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