The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1994, volume: 59, number: 3

  1. Samuel R. Buss
    On Gödel's Theorems on Lenghts of Proofs I: Number of Lines and Speedup for Arithmetics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:3, pp:737-756 [Journal]
  2. Howard Becker
    The Topological Vaught's Conjecture and Minimal Counterexamples. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:3, pp:757-784 [Journal]
  3. Rineke Verbrugge, Albert Visser
    A Small Reflection Principle for Bounded Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:3, pp:785-812 [Journal]
  4. Joan Rand Moschovakis
    More About Relatively Lawless Sequences. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:3, pp:813-829 [Journal]
  5. Mingsheng Ying
    A Logic for Approximate Reasoning. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:3, pp:830-837 [Journal]
  6. Ehud Hrushovski
    Finitely Axiomatizable aleph1 Categorical Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:3, pp:838-844 [Journal]
  7. Sven Ove Hansson
    Kernel Contraction. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:3, pp:845-859 [Journal]
  8. M. Bekkali
    Chains and Antichains in Interval Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:3, pp:860-867 [Journal]
  9. Stephen A. Fenner
    Almost Weakly 2-Generic Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:3, pp:868-887 [Journal]
  10. Simone Martini, Andrea Masini
    A Modal View of Linear Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:3, pp:888-899 [Journal]
  11. Hirotaka Kikyo, Akito Tsuboi
    On Reduction Properties. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:3, pp:900-911 [Journal]
  12. Hajnal Andréka, Ágnes Kurucz, István Németi
    Connections Between Axioms of Set Theory and Basic Theorems of Universal Algebra. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:3, pp:912-923 [Journal]
  13. Tim Fernando
    Bisimulations and Predicate Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:3, pp:924-944 [Journal]
  14. Andreas Weiermann
    A Functorial Property of the Aczel-Buchholz-Feferman Function. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:3, pp:945-955 [Journal]
  15. Marcia J. Groszek
    omega*1 as an Initial Segment of the c-Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:3, pp:956-976 [Journal]
  16. Alistair H. Lachlan, Robert I. Soare
    Models of Arithmetic and Upper Bounds for Arithmetic Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:3, pp:977-983 [Journal]
  17. Tapani Hyttinen, Saharon Shelah
    Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part A. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:3, pp:984-996 [Journal]
  18. James D. Sharp
    Combinatorics on Ideals and Axiom A. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:3, pp:997-1000 [Journal]
  19. Fernando Ferreira
    A Feasible Theory for Analysis. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:3, pp:1001-1011 [Journal]
  20. Arthur D. Grainger
    Flat Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:3, pp:1012-1021 [Journal]
  21. Slawomir Solecki
    Covering Analytic Sets by Families of Closed Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:3, pp:1022-1031 [Journal]
  22. Michael Sheard
    A Guide to Truth Predicates in the Modern Era. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:3, pp:1032-1054 [Journal]
  23. Yasuo Kanai
    On a Generalization of Distributivity. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:3, pp:1055-1067 [Journal]
  24. Alexandra Shlapentokh
    Diophantine Equivalence and Countable Rings. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:3, pp:1068-1095 [Journal]
  25. Sy D. Friedman
    Jensen's Sigma* Theory and the Combinatorial Content of V=L. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1994, v:59, n:3, pp:1096-1104 [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