The SCEAS System
Navigation Menu

Journals in DBLP

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

  1. Klaus Ambos-Spies, Manuel Lerman
    Lattice Embeddings into the Recursively Enumerable Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:2, pp:257-272 [Journal]
  2. Peter Clote
    A Generalization of the Limit Lemma and Clopen Games. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:2, pp:273-291 [Journal]
  3. Eugene W. Madison, B. Zimmermann-Huisgen
    Combinatorial and Recursive Aspects of the Automorphism Group of the Countable Atomless Boolean Algebra. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:2, pp:292-301 [Journal]
  4. Rami P. Grossberg, Saharon Shelah
    On the Number of Nonisomorphic Models of an Infinitary Theory Which has the Infinitary Order Property, Part A. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:2, pp:302-322 [Journal]
  5. Steven Buechler
    Maximal Chains in the Fundamental Order. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:2, pp:323-326 [Journal]
  6. Akihiro Kanamori
    Finest Partitions for Ultrafilters. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:2, pp:327-332 [Journal]
  7. Nicolas D. Goodman
    Replacement and Collection: A Correction. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:2, pp:333- [Journal]
  8. Françoise Delon
    Periodicite Des Theories Elementaires Des Corps De Series Formelles Iterees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:2, pp:334-351 [Journal]
  9. Theodore A. Slaman
    On the Kleene Degrees of pi11 Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:2, pp:352-359 [Journal]
  10. Andrea Cantini
    On the Relation Between Choice and Comprehension Principles in Second Order Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:2, pp:360-373 [Journal]
  11. Simon Thomas
    Theories with Finitely Many Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:2, pp:374-376 [Journal]
  12. C. Ward Henson, H. Jerome Keisler
    On the Strength of Nonstandard Analysis. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:2, pp:377-386 [Journal]
  13. Nicolas D. Goodman
    Flagg Realizability in Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:2, pp:387-392 [Journal]
  14. Paul C. Gilmore
    Natural Deduction Based Set Theories: A New Resolution of the Old Paradoxes. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:2, pp:393-411 [Journal]
  15. Terrence Millar
    Prime Models and Almost Decidability. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:2, pp:412-420 [Journal]
  16. Victor Harnik
    omega1-Like Recursively Saturated Models of Presburger's Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:2, pp:421-429 [Journal]
  17. Terrence Millar
    Recursive Categoricity and Persistence. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:2, pp:430-434 [Journal]
  18. J. C. E. Dekker
    The Inclusion-Exclusion Principle for Finitely Many Isolated Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:2, pp:435-447 [Journal]
  19. Masazumi Hanazawa, Mitio Takano
    An Interpolation Theorem in Many-Valued Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:2, pp:448-452 [Journal]
  20. Theodore A. Slaman
    Sigma1 Definitions with Parameters. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:2, pp:453-461 [Journal]
  21. Peter Aczel, Jeff B. Paris, A. J. Wilkie, George M. Wilmers, C. E. M. Yates
    European Summer Meeting of the Association for Symbolic Logic: Manchester, England, 1984. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:2, pp:480-502 [Journal]
  22. Phillip J. Staines
    Meeting of the Association for Symbolic Logic: Sydney, 1984. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:2, pp:503-506 [Journal]
  23. Andreas Blass, Louise Hay, Peter G. Hinman
    Meeting of the Association for Symbolic Logic: Chicago, 1985. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1986, v:51, n:2, pp:507-510 [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