Journals in DBLP
J. Symb. Log. 2002, volume: 67, number: 2
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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ] Melvin Fitting Interpolation for First Order S5. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:2, pp:621-634 [Journal ] 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 ] 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 ] Russell Miller Definable Incompleteness and Friedberg Splittings. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:2, pp:679-696 [Journal ] Denis R. Hirschfeldt Degree Spectra of Relations on Computable Structures in The Presence of delta0 2 Isomorphisms. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:2, pp:697-720 [Journal ] 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 ] 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 ] 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 ] 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 ] Alexandra Shlapentokh Generalized Weak Presentations. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:2, pp:787-819 [Journal ] 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 ] 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 ] 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 ] 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 ]