The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
1998, volume: 63, number: 4

  1. Norman Feldman
    The Cylindric Algebras of Three-Valued Logic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:4, pp:1201-1217 [Journal]
  2. Ulrich Kohlenbach
    Relative Constructivity. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:4, pp:1218-1238 [Journal]
  3. P. Ouwehand, H. Rose
    Filtral Powers of Structures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:4, pp:1239-1254 [Journal]
  4. Patrick Simonetta
    Equivalence Elementaire et Decidabilite Pour des Structures du Type Groupe Agissant Sur un Groupe Abelien. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:4, pp:1255-1285 [Journal]
  5. Pieter Hendrik Rodenburg
    Termination and Confluence in Infinitary Term Rewriting. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:4, pp:1286-1296 [Journal]
  6. M. C. Stanley
    Invisible Genericity and 0#. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:4, pp:1297-1318 [Journal]
  7. Angsheng Li, Yang Dongping
    Bounding Minimal Degrees by Computably Enumerable Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:4, pp:1319-1347 [Journal]
  8. Andreas Weiermann
    How Is It that Infinitary Methods Can Be Applied to Finitary Mathematics? Gödel's T: A Case Study. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:4, pp:1348-1370 [Journal]
  9. Renling Jin, Saharon Shelah
    Compactness of Loeb Spaces. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:4, pp:1371-1392 [Journal]
  10. William J. Mitchell
    The Complexity of The Core Model. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:4, pp:1393-1398 [Journal]
  11. Domenico Zambella
    Foundation Versus Induction in Kripke-Platek Set Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:4, pp:1399-1403 [Journal]
  12. Arthur W. Apter, Moti Gitik
    The Least Measurable Can Be Strongly Compact and Indestructible. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:4, pp:1404-1412 [Journal]
  13. Richard Blute, Philip J. Scott
    The Shuffle Hopf Algebra and Noncommutative Full Completeness. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:4, pp:1413-1436 [Journal]
  14. Jindrich Zapletal
    Preserving sigma-Ideals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:4, pp:1437-1441 [Journal]
  15. H. Jerome Keisler
    Quantifier Elimination for Neocompact Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:4, pp:1442-1472 [Journal]
  16. Frank O. Wagner
    CM-Triviality and Stable Groups. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:4, pp:1473-1495 [Journal]
  17. Andy Lewis
    Large Cardinals and Large Dilators. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:4, pp:1496-1510 [Journal]
  18. Beibut Sh. Kulpeshov
    Weakly O-Minimal Structures and Some of Their Properties. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:4, pp:1511-1528 [Journal]
  19. Rainer Kerth
    The Interpretation of Unsolvable lambda-Terms in Models of Untyped lambda-Calculus. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:4, pp:1529-1548 [Journal]
  20. Yde Venema
    Rectangular Games. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:4, pp:1549-1564 [Journal]
  21. Donald A. Martin
    The Determinacy of Blackwell Games. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:4, pp:1565-1581 [Journal]
  22. Jan Krajícek
    Discretely Ordered Modules as a First-Order Extension of The Cutting Planes Proof System. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:4, pp:1582-1596 [Journal]
  23. Lou van den Dries
    Correction to "T-Convexity and Tame Extensions II". [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:4, pp:1597- [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