The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1986, volume: 51, number: 1

  1. Thomas John
    Recursion in Kolmogorov's R-Operator and the Ordinal sigma3. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:1, pp:1-11 [Journal]
  2. Pierre Matet
    Partitions and Filters. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:1, pp:12-21 [Journal]
  3. Bruno Poizat
    L = N L? [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:1, pp:22-32 [Journal]
  4. Mitchell Spector
    Weak Partition Relations and Measurability. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:1, pp:33-38 [Journal]
  5. Matthew Foreman, Menachem Magidor, Saharon Shelah
    0 # and Some Forcing Principles. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:1, pp:39-46 [Journal]
  6. Boban Velickovic
    Jensen's Principles and the Novak Number of Partially Ordered Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:1, pp:47-58 [Journal]
  7. Jan Mycielski
    Locally Finite Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:1, pp:59-62 [Journal]
  8. David Marker
    Omitting Types in O-Minimal Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:1, pp:63-74 [Journal]
  9. John Lawrence
    Tarski's Problem for Varieties of Groups with a Commutator Identity. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:1, pp:75-78 [Journal]
  10. Cornelia Kalfa
    Decision Problems Concerning Properties of Finite Sets of Equations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:1, pp:79-87 [Journal]
  11. Rodney G. Downey, L. V. Welch
    Splitting Properties of R. E. Sets and Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:1, pp:88-109 [Journal]
  12. Eberhard Herrmann
    The Index Set {e: We 1 X}. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:1, pp:110-116 [Journal]
  13. Paul Fischer
    Pairs Without Infimum in the Recursively Enumerable Weak Truth Table Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:1, pp:117-129 [Journal]
  14. Philip D. Welch
    The Natural Hierarchy and Quasi-Hierarchy of Constructibility Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:1, pp:130-134 [Journal]
  15. S. Heinrich, C. Ward Henson, L. C. Moore Jr.
    Elementary Equivalence of C s (K) Spaces for Totally Disconnected, Compact Hausdorff K. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:1, pp:135-146 [Journal]
  16. Péter Komjáth
    Stationary Reflection for Uncountable Cofinality. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:1, pp:147-151 [Journal]
  17. Fabio Bellissima
    Finitely Generated Free Heyting Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:1, pp:152-165 [Journal]
  18. W. B. Ewald
    Intuitionistic Tense and Modal Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:1, pp:166-179 [Journal]
  19. Uri Abraham, Saharon Shelah
    On the Intersection of Closed Unbounded Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:1, pp:180-189 [Journal]
  20. Chris Freiling
    Axioms of Symmetry: Throwing Darts at the Real Number Line. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:1, pp:190-200 [Journal]
  21. Irene F. Mikenberg, Newton C. A. da Costa, Rolando Chuaqui
    Pragmatic Truth and Approximation to Truth. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:1, pp:201-221 [Journal]
  22. Julia F. Knight
    Saturation of Homogeneous Resplendent Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:1, pp:222-224 [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