The SCEAS System
Navigation Menu

Journals in DBLP

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

  1. Jacob Lurie
    The Effective Content of Surreal Algebra. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:2, pp:337-371 [Journal]
  2. David Ballard, William Boshuck
    Definability and Descent. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:2, pp:372-378 [Journal]
  3. Alexis Bès, Denis Richard
    Undecidable Extensions of Skolem Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:2, pp:379-401 [Journal]
  4. Paola D'Aquino
    Solving Pell Equations Locally in Models of I Delta0. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:2, pp:402-410 [Journal]
  5. Marat M. Arslanov, Geoffrey LaForte, Theodore A. Slaman
    Relative Enumerability in the Difference Hierarchy. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:2, pp:411-420 [Journal]
  6. Oleg V. Belegradek
    On Minimal Structures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:2, pp:421-426 [Journal]
  7. John T. Baldwin, Saharon Shelah
    DOP and FCP in Generic Structures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:2, pp:427-438 [Journal]
  8. Mike Priest
    The Representation Theories of Elementarily Equivalent Rings. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:2, pp:439-450 [Journal]
  9. Antonius J. C. Hurkens, Monica McArthur, Yiannis N. Moschovakis, Lawrence S. Moss, Glen T. Whitney
    The Logic of Recursive Equations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:2, pp:451-478 [Journal]
  10. Maarten Marx
    Amalgamation in Relational Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:2, pp:479-484 [Journal]
  11. Mark J. Debonis, Ali Nesin
    There Are 2aleph0 Many Almost Strongly Minimal Generalized n-gons That Do Not Interpret an Infinite Group. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:2, pp:485-508 [Journal]
  12. Michael Rathjen
    Explicit Mathematics with the Monotone Fixed Point Principle. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:2, pp:509-542 [Journal]
  13. Timothy Bays
    Some Two-Cardinal Results for O-Minimal Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:2, pp:543-548 [Journal]
  14. Joel David Hamkins, Saharon Shelah
    Superdestructibility: A Dual to Laver's Indestructibility. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:2, pp:549-554 [Journal]
  15. Tore Langholm
    A Strong Version of Herbrand's Theorem for Introvert Sentences. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:2, pp:555-569 [Journal]
  16. Yerzhan Baisalov, Bruno Poizat
    Paires de Structures O-Minimales. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:2, pp:570-578 [Journal]
  17. Douglas S. Bridges, Ray Mines
    Sequentially Continuous Linear Mappings in Constructive Analysis. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:2, pp:579-583 [Journal]
  18. Claude Laflamme, Jian-Ping Zhu
    The Rudin-Blass Ordering of Ultrafilters. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:2, pp:584-592 [Journal]
  19. Heike Mildenberger
    Changing Cardinal Invariants of the Reals without Changing Cardinals or the Reals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:2, pp:593-599 [Journal]
  20. Stefano Berardi, Marc Bezem, Thierry Coquand
    On the Computational Content of the Axiom of Choice. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:2, pp:600-622 [Journal]
  21. Wendy MacCaull
    Relational Semantics and a Relational Proof System for Full Lambek Calculus. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:2, pp:623-637 [Journal]
  22. Michael Benedikt
    Ultrafilters which Extend Measures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:2, pp:638-662 [Journal]
  23. Greg Hjorth
    An Absoluteness Principle for Borel Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:2, pp:663-693 [Journal]
  24. Mark D. Schlatter
    A Many Permutation Group Result for Unstable Theories. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:2, pp:694-708 [Journal]
  25. Gaisi Takeuti
    Frege Proof System and TNC°. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:2, pp:709-738 [Journal]
  26. Deirdre Haskell, Dugald Macpherson
    A Note on Valuation Definable Expansions of Fields. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 1998, v:63, n:2, pp:739-743 [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