Journals in DBLP
J. Symb. Log. 2002, volume: 67, number: 1
Zhaohui Zhu , Zhenghua Pan , Shifu Chen , Wujia Zhu Valuation Structure. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:1-23 [Journal ] Olivier Chapuis , Ehud Hrushovski , Pascal Koiran , Bruno Poizat La Limite des Theories de Courbes Generiques. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:24-34 [Journal ] Alessandra Carbone The Cost of A Cycle Is A Square. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:35-60 [Journal ] Bradd Hart , Ehud Hrushovski , Michael C. Laskowski Unique Decomposition in Classifiable Theories. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:61-68 [Journal ] Steffen Lempp , Andrea Sorbi Embedding Finite Lattices into the Sigma0 2 Enumeration Degrees. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:69-90 [Journal ] Morteza Moniri , Mojtaba Moniri Some Weak Fragments of HA and Certain Closure Properties. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:91-103 [Journal ] Stephen Bellantoni , Martin Hofmann A New "Feasible" Arithmetic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:104-116 [Journal ] S. T. Stefani An Algebraic Approach to Categories of Partial Morphisms. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:117-129 [Journal ] David Asperó A Maximal Bounded Forcing Axiom. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:130-142 [Journal ] Omar de la Cruz , Eric Hall , Paul E. Howard , Jean E. Rubin , Adrienne Stanley Definitions of Compactness and The Axiom of Choice. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:143-161 [Journal ] Jean-Baptiste Joinet , Harold Schellinx , Lorenzo Tortora de Falco SN and CR for Free-Style LKtq : Linear Decorations and Simulation of Normalization. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:162-196 [Journal ] Robin Hirsch , Ian M. Hodkinson , Roger D. Maddux Relation Algebra Reducts of Cylindric Algebras and An Application to Proof Theory. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:197-213 [Journal ] Hirotaka Kikyo , Saharon Shelah The Strict Order Property and Generic Automorphisms. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:214-216 [Journal ] Gregory L. Cherlin , Simon Thomas Two Cardinal Properties of Homogeneous Graphs. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:217-220 [Journal ] Robin Hirsch , Ian M. Hodkinson , Ágnes Kurucz On Modal Logics Between K x K x K and S5 x S5 x S5. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:221-234 [Journal ] Mihai Prunescu A Model-Theoretic Proof for P unequal to NP over All Infinite Abelian Groups. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:235-238 [Journal ] Elisabeth Bouscaren , Françoise Delon Minimal Groups in Separably Closed Fields. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:239-259 [Journal ] Thomas Strahm Wellordering Proofs for Metapredicative Mahlo. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:260-278 [Journal ] Arnold Beckmann Proving Consistency of Equational Theories in Bounded Arithmetic. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:279-296 [Journal ] Heike Mildenberger , Saharon Shelah The Relative Consistency of g < cf (Sym(omega)). [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:297-314 [Journal ] Mauro Di Nasso An Axiomatic Presentation of The Nonstandard Methods in Mathematics. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:315-325 [Journal ] Markus Junker , Ingo Kraus Theories with Equational Forking. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:326-340 [Journal ] Murray A. Marshall Open Questions in The Theory of Spaces of Orderings. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:341-352 [Journal ] Martin W. Bunder A Classification of Intersection Type Systems. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:353-368 [Journal ] Robert Bonnet , Matatyahu Rubin On Essentially Low, Canonically Well-Generated Boolean Algebras. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:369-396 [Journal ] Larisa Maksimova Complexity of Interpolation and Related Problems in Positive Calculi. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:397-408 [Journal ] Peter Cholak , Rodney G. Downey , Stephen Walk Maximal Contiguous Degrees. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:409-437 [Journal ] Chris Miller , Patrick Speissegger Pfaffian Differential Equations over Exponential O-Minimal Structures. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:438-448 [Journal ] Todd Eisworth Forcing and Stable Ordered-Union Ultrafilters. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:449-464 [Journal ] Dan E. Willard How to Extend The Semantic Tableaux and Cut-Free Versions of The Second Incompleteness Theorem Almost to Robinson's Arithmetic Q. [Citation Graph (0, 0)][DBLP ] J. Symb. Log., 2002, v:67, n:1, pp:465-496 [Journal ]