The SCEAS System
Navigation Menu

Journals in DBLP

J. Symb. Log.
2002, volume: 67, number: 2

  1. John Todd Hammond
    Congruence Relations on Lattices of Recursively Enumerable Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:2, pp:497-504 [Journal]
  2. William P. R. Mitchell, Harold Simmons
    Monoid Based Semantics for Linear Formulas. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:2, pp:505-527 [Journal]
  3. Yerulan Mustafin
    Quelques Propriétés de Théories de Jonsson. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:2, pp:528-536 [Journal]
  4. Iskander Sh. Kalimullin
    Splitting Properties of n-C.E. Enumeration Degrees. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:2, pp:537-546 [Journal]
  5. Andrzej Nowik, Tomasz Weiss
    On The Ramseyan Properties of Some Special Subsets of 2omega and Their Algebraic Sums. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:2, pp:547-556 [Journal]
  6. António M. Fernandes, Fernando Ferreira
    Groundwork for Weak Analysis. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:2, pp:557-578 [Journal]
  7. Uri Abraham, Saharon Shelah
    Coding with Ladders A Well Ordering of The Reals. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:2, pp:579-597 [Journal]
  8. Mihai Prunescu
    An Isomorphism Between Monoids of External Embeddings: About Definability in Arithmetic. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:2, pp:598-620 [Journal]
  9. Melvin Fitting
    Interpolation for First Order S5. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:2, pp:621-634 [Journal]
  10. Xavier Vidaux
    Multiplication Complexe et Équivalence Élémentaire Dans Le Langage des Corps. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:2, pp:635-648 [Journal]
  11. Kevin Wald
    On Orbits of Prompt and Low Computably Enumerable Sets. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:2, pp:649-678 [Journal]
  12. Russell Miller
    Definable Incompleteness and Friedberg Splittings. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:2, pp:679-696 [Journal]
  13. Denis R. Hirschfeldt
    Degree Spectra of Relations on Computable Structures in The Presence of delta02 Isomorphisms. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:2, pp:697-720 [Journal]
  14. Ralf-Dieter Schindler, John Steel, Martin Zeman
    Deconstructing Inner Model Theory. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:2, pp:721-736 [Journal]
  15. Anand Pillay, Thomas Scanlon
    Compact Complex Manifolds with The Dop and Other Properties. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:2, pp:737-743 [Journal]
  16. Enrique Casanovas, Frank O. Wagner
    Local Supersimplicity and Related Concepts. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:2, pp:744-758 [Journal]
  17. Alexandra Shlapentokh
    On Diophantine Definability and Decidability in Some Rings of Algebraic Functions of Characteristic 0. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:2, pp:759-786 [Journal]
  18. Alexandra Shlapentokh
    Generalized Weak Presentations. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:2, pp:787-819 [Journal]
  19. Arthur W. Apter, Joel David Hamkins
    Indestructibility and The Level-By-Level Agreement Between Strong Compactness and Supercompactness. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:2, pp:820-840 [Journal]
  20. Mike Prest, Vera Puninskaya
    Modules with Few Types over Some Finite-Dimensional Algebras. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:2, pp:841-858 [Journal]
  21. L. R. Galminas, John W. Rosenthal
    More Undecidable Lattices of Steinitz Exchange Systems. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:2, pp:859-878 [Journal]
  22. Riccardo Camerlo
    The Relation of Recursive Isomorphism for Countable Structures. [Citation Graph (0, 0)][DBLP]
    J. Symb. Log., 2002, v:67, n:2, pp:879-895 [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