The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1997, volume: 62, number: 4

  1. Philip Kremer
    Defining Relevant Implication in a Propositionally Quantified S4. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1057-1069 [Journal]
  2. Anand Pillay, Akito Tsuboi
    Amalgamations Preserving aleph0-Categoricity. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1070-1074 [Journal]
  3. Deirdre Haskell, Dugald Macpherson
    A Version of o-Minimality for the p-adics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1075-1092 [Journal]
  4. Jan E. Holly
    Prototypes for Definable Subsets of Algebraically Closed Value Fields. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1093-1141 [Journal]
  5. Gerhard Jäger
    Power Types in Explicit Mathematics. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1142-1146 [Journal]
  6. Dirk van Dalen
    How Connected Is the Intuitionistic Continuum? [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1147-1150 [Journal]
  7. Martin Gilchrist, Saharon Shelah
    The Consistency of ZFC + 2aleph0 > alephomega + F(aleph2) = F(alephomega). [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1151-1160 [Journal]
  8. Noa Goldring
    The Entire NS Ideal on Pgammaµ Can Be Precipitous. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1161-1172 [Journal]
  9. Ricardo Bianconi
    Nondefiniability Results for Expansions of the Field of Real Numbers by the Exponential Function and by the Restricted Sine Function. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1173-1178 [Journal]
  10. Heike Mildenberger
    Non-Constructive Galois-Tukey Connections. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1179-1186 [Journal]
  11. Sanjay Jain, Arun Sharma
    The Structure of Intrinsic Complexity of Learning. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1187-1201 [Journal]
  12. Yves Lafont
    The Finite Model Property for Various Fragments of Linear Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1202-1208 [Journal]
  13. Andrea Asperti, Agata Ciabattoni
    A Sufficient Condition for Completability of Partial Combinatory Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1209-1214 [Journal]
  14. Rodney G. Downey, Steffen Lempp
    Contiguity and Distributivity in the Enumerable Turing Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1215-1240 [Journal]
  15. Renling Jin
    Type Two Cuts, Bad Cuts and Very Bad Cuts. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1241-1252 [Journal]
  16. Marion Scheepers, William Weiss
    Variations on a Game of Gale (III): Remainder Strategies. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1253-1264 [Journal]
  17. J. L. Bell
    Zorn's Lemma and Complete Boolean Algebras in Intuitionistic Type Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1265-1279 [Journal]
  18. Alexis Bès
    Undecidable Extensions of Büchi Arithmetic and Cobham-Semënov Theorem. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1280-1296 [Journal]
  19. Andrzej Roslanowski, Saharon Shelah
    Simple Forcing Notions and Forcing Axioms. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1297-1314 [Journal]
  20. Sara Negri, Silvio Valentini
    Tychonoff's Theorem in the Framework of Formal Topologies. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1315-1332 [Journal]
  21. Vladimir Kanovei
    An Ulm-Type Classification Theorem for Equivalence Relations in Solovay Model. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1333-1351 [Journal]
  22. Eric Martin, Daniel N. Osherson
    Scientific Discovery Based on Belief Revision. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1352-1370 [Journal]
  23. Vann McGee
    The Complexity of the Modal Predicate Logic of ``True in Every Transitive Model of ZF''. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1371-1378 [Journal]
  24. Joan Bagaria, W. Hugh Woodin
    ~Delta1n Sets of Reals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1379-1428 [Journal]
  25. Carlo Toffalori
    Wildness Implies Undecidability for Lattices over Group Rings. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1429-1447 [Journal]
  26. Ieke Moerdijk, Erik Palmgren
    Minimal Models of Heyting Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1448-1460 [Journal]
  27. Michel Parigot
    Proofs of Strong Normalisation for Second Order Classical Natural Deduction. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1997, v:62, n:4, pp:1461-1479 [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