Journals in DBLP
J. Symb. Log. 1994, volume: 59, number: 1
Chaz Schlindwein Consistency of Suslin's Hypothesis, a Nonspecial Aronszajn Tree, and GCH. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:1, pp:1-29 [Journal ] Lorenz Halbeisen , Saharon Shelah Consequences of Arithmetic for Set Theory. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:1, pp:30-40 [Journal ] Ambar Chowdhury On the Number of Nonisomorphic Models of Size |T|. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:1, pp:41-59 [Journal ] Eberhard Herrmann , Martin Kummer Diagonals and D-Maximal Sets. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:1, pp:60-72 [Journal ] Jan Krajícek Lower Bounds to the Size of Constant-Depth Propositional Proofs. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:1, pp:73-86 [Journal ] Luc Bélair , Jean-Louis Duret Indécidabilité des Corps de Courbe Réelle. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:1, pp:87-91 [Journal ] John B. Goode Accessible Telephone Directories. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:1, pp:92-105 [Journal ] Julia F. Knight Nonarithmetical aleph0 -Categorical Theories with Recursive Models. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:1, pp:106-112 [Journal ] Stephen G. Simpson On the Strength of König's Duality Theorem for Countable Bipartite Graphs. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:1, pp:113-123 [Journal ] Brenda J. Latka Finitely Constrained Classes of Homogeneous Directed Graphs. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:1, pp:124-139 [Journal ] Joseph Barback Torre Models in the Isols. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:1, pp:140-150 [Journal ] Anand Pillay Some Remarks on Nonmultidimensional Superstable Theories. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:1, pp:151-165 [Journal ] Su Gao The Degrees of Conditional Problems. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:1, pp:166-181 [Journal ] Shu-Guo Zhang Stationary Reflections and Ideals. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:1, pp:182-184 [Journal ] David Marker , Charles Steinhorn Definable Types in O-Minimal Theories. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:1, pp:185-198 [Journal ] Nianzheng Liu Semilinear Cell Decomposition. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:1, pp:199-208 [Journal ] Ronald Fagin A Quantitative Analysis of Modal Logic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:1, pp:209-252 [Journal ] Vann McGee On the Degrees of Unsolvability of Modal Predicate Logics of Provability. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:1, pp:253-261 [Journal ] Joel David Hamkins Fragile Measurability. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:1, pp:262-282 [Journal ] Alexandre V. Borovik , Ali Nesin Schur-Zassenhaus Theorem Revisited. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:1, pp:283-291 [Journal ] Renling Jin , Saharon Shelah The Strength of the Isomorphism Property. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:1, pp:292-301 [Journal ] Sakaé Fuchino Some Remarks on Openly Generated Boolean Algebras. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:1, pp:302-310 [Journal ] Lee Fong Low Lattice of Algebraically Closed Sets in One-Based Theories. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:1, pp:311-321 [Journal ] Aleksandar Ignjatovic Hilbert's Program and the Omega-Rule. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:1, pp:322-343 [Journal ] A. J. Wilkie On Defining Cinfty . [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 1994, v:59, n:1, pp:344- [Journal ]