The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1996, volume: 61, number: 3

  1. Paul Taylor 0002
    Intuitionistic Sets and Ordinals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1996, v:61, n:3, pp:705-744 [Journal]
  2. Wim Veldman, Frank Waaldijk
    Some Elementary Results in Intuitionistic Model Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1996, v:61, n:3, pp:745-767 [Journal]
  3. Jeremy Avigad
    On the Relationship Between ATR0 and ID<omega. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1996, v:61, n:3, pp:768-779 [Journal]
  4. Martin Gilchrist, Saharon Shelah
    Identities on Cardinals less than alephomega. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1996, v:61, n:3, pp:780-787 [Journal]
  5. Leon Horsten
    Reflecting in Epistemic Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1996, v:61, n:3, pp:788-801 [Journal]
  6. Lauri Hella, Kerkko Luosto, Jouko A. Väänänen
    The Hierarchy Theorem for Generalized Quantifiers. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1996, v:61, n:3, pp:802-817 [Journal]
  7. Gerhard Jäger, Thomas Strahm
    Some Theories with Positive Induction of Ordinal Strength phi omega 0. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1996, v:61, n:3, pp:818-842 [Journal]
  8. Silvio Ghilardi, Giancarlo Meloni
    Relational and Partial Variable Sets and Basic Predicate Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1996, v:61, n:3, pp:843-872 [Journal]
  9. Alan Dow
    On Boolean Subalgebras of P(omega1)/ctble. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1996, v:61, n:3, pp:873-879 [Journal]
  10. Klaus Ambos-Spies, Peter A. Fejer, Steffen Lempp, Manuel Lerman
    Decidability of the Two-Quantifier Theory of the Recursively Enumerable Weak Truth-Table Degrees and Other Distributive Upper Semi-Lattices. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1996, v:61, n:3, pp:880-905 [Journal]
  11. Greg Hjorth
    On aleph1 Many Minimal Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1996, v:61, n:3, pp:906-919 [Journal]
  12. Claude Laflamme
    A Few Special Ordinal Ultrafilters. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1996, v:61, n:3, pp:920-927 [Journal]
  13. José Iovino
    The Morley Rank of a Banach Space. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1996, v:61, n:3, pp:928-941 [Journal]
  14. Domenico Zambella
    Notes on Polynomially Bounded Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1996, v:61, n:3, pp:942-966 [Journal]
  15. Ambar Chowdhury, James Loveys, Predrag Tanovic
    A Definable Continuous Rank for Nonmultidimensional Superstable Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1996, v:61, n:3, pp:967-984 [Journal]
  16. Michael C. Laskowski, Laura L. Mayer
    Stable Structures with Few Substructures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1996, v:61, n:3, pp:985-1005 [Journal]
  17. Natasha Alechina, Michiel van Lambalgen
    Generalized Quantification as Substructural Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1996, v:61, n:3, pp:1006-1044 [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