The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1995, volume: 60, number: 4

  1. Derrick Albert DuBose
    Determinacy and the Sharp Function on Objects of Type k. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:4, pp:1025-1053 [Journal]
  2. René David, Karim Nour
    Storage Operators and Directed Lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:4, pp:1054-1086 [Journal]
  3. Brian A. Davey, Miroslav Haviar, Hilary A. Priestley
    The Syntax and Semantics of Entailment in Duality Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:4, pp:1087-1114 [Journal]
  4. Paul E. Howard, Jean E. Rubin
    The Axiom of Choice for Well-Ordered Families and for Familes of Well-Orderable Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:4, pp:1115-1117 [Journal]
  5. Steffen Lempp, André Nies
    The Undecidability of the Pi4-Theory for the R. E. WTT and Turing Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:4, pp:1118-1136 [Journal]
  6. James H. Schmerl
    A Reflection Principle and its Applications to Nonstandard Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:4, pp:1137-1152 [Journal]
  7. Taneli Huuskonen
    Comparing Notions of Similarity for Uncountable Models. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:4, pp:1153-1167 [Journal]
  8. Haim Judah, Miroslav Repický
    Amoeba Reals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:4, pp:1168-1185 [Journal]
  9. Andreas Blass
    An Induction Principle and Pigeonhole Principles for K-Finite Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:4, pp:1186-1193 [Journal]
  10. Deko V. Dekov
    Embeddability and the Word Problem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:4, pp:1194-1198 [Journal]
  11. Greg Hjorth
    A Dichotomy for the Definable Universe. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:4, pp:1199-1207 [Journal]
  12. Zlatan Damnjanovic
    Minimal Realizability of Intuitionistic Arithmetic and Elementary Analysis. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:4, pp:1208-1241 [Journal]
  13. Jaroslav Jezek, George F. McNulty
    The Existence of Finitely Based Lower Covers for Finitely Based Equational Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:4, pp:1242-1250 [Journal]
  14. Anand Pillay
    The Geometry of Forking and Groups of Finite Morley Rank. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:4, pp:1251-1259 [Journal]
  15. Tapani Hyttinen, Saharon Shelah
    Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part B. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:4, pp:1260-1272 [Journal]
  16. Greg Hjorth, Alexander S. Kechris
    Analytic Equivalence Relations and Ulm-Type Classifications. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:4, pp:1273-1300 [Journal]
  17. Leonard Lipshitz, Thanases Pheidas
    An Analogue of Hilbert's Tenth Problem for p-adic Entire Functions. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1995, v:60, n:4, pp:1301-1309 [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