The Journal of Symbolic Logic, Volume 59

Volume 59, Number 1, March 1994

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

Volume 59, Number 2, June 1994

• B. Mazur: Questions of Decidability and Undecidability in Number Theory. 353-371 BibTeX
• Thanases Pheidas: Extensions of Hilbert's Tenth Problem. 372-397 BibTeX
• Roger D. Maddux: Undecidable Semiassociative Relation Algebras. 398-418 BibTeX
• Dirk Roorda: Interpolation in Fragments of Classical Linear Logic. 419-444 BibTeX
• Moti Gitik, Menachem Magidor: Extender Based Forcings. 445-460 BibTeX
• Garvin Melles: Natural Internal Forcing Schemata Extending ZFC: Truth in the Universe. 461-472 BibTeX
• Brigitte Hösli, Gerhard Jäger: About Some Symmetries of Negation. 473-485 BibTeX
• Ganesh Baliga, John Case, Sanjay Jain, Mandayam Suraj: Machine Learning of Higher-Order Programs. 486-500 BibTeX
• Othman Qasim Malhas: Abacus Logic: The Lattice of Quantum Propositions as the Poset of a Theory. 501-515 BibTeX
• Masahiro Kumabe: Minimal Upper Bounds for Arithmetical Degrees. 516-528 BibTeX
• Mark Fuller: Normality of a Filter over a Space of Partitions. 529-533 BibTeX
• Alan S. Stern, Stanislaw Swierczkowski: A Class of Connected Theories of Order. 534-542 BibTeX
• Samson Abramsky, Radha Jagadeesan: Games and Full Completeness for Multiplicative Linear Logic. 543-574 BibTeX
• Frank O. Wagner: A Note on Defining Groups in Stable Structures. 575-578 BibTeX
• Elisabeth Bouscaren, Ehud Hrushovski: On One-Based Theories. 579-595 BibTeX
• Daniele Mundici: A Constructive Proof of McNaughton's Theorem in Infinite-valued Logic. 596-602 BibTeX
• Marion Scheepers: Meager Nowhere-Dense Games (IC): n-Tactics (Continued). 603-605 BibTeX
• Sy D. Friedman: The Genericity Conjecture. 606-614 BibTeX
• Thomas Jech, Jirí Witzany: Full Reflection at a Measurable Cardinal. 615-630 BibTeX
• Hajnal Andréka, Steven Givant, István Németi: The Lattice of Varieties of Representable Relation Algebras. 631-661 BibTeX
• Szymon Plewik: Ideals of Nowhere Ramsey Sets Are Isomorphic. 662-667 BibTeX

Volume 59, Number 3, September 1994

• Samuel R. Buss: On Gödel's Theorems on Lenghts of Proofs I: Number of Lines and Speedup for Arithmetics. 737-756 BibTeX
• Howard Becker: The Topological Vaught's Conjecture and Minimal Counterexamples. 757-784 BibTeX
• Rineke Verbrugge, Albert Visser: A Small Reflection Principle for Bounded Arithmetic. 785-812 BibTeX
• Joan Rand Moschovakis: More About Relatively Lawless Sequences. 813-829 BibTeX
• Mingsheng Ying: A Logic for Approximate Reasoning. 830-837 BibTeX
• Ehud Hrushovski: Finitely Axiomatizable aleph₁ Categorical Theories. 838-844 BibTeX
• Sven Ove Hansson: Kernel Contraction. 845-859 BibTeX
• M. Bekkali: Chains and Antichains in Interval Algebras. 860-867 BibTeX
• Stephen A. Fenner: Almost Weakly 2-Generic Sets. 868-887 BibTeX
• Simone Martini, Andrea Masini: A Modal View of Linear Logic. 888-899 BibTeX
• Hirotaka Kikyo, Akito Tsuboi: On Reduction Properties. 900-911 BibTeX
• Hajnal Andréka, Ágnes Kurucz, István Németi: Connections Between Axioms of Set Theory and Basic Theorems of Universal Algebra. 912-923 BibTeX
• Tim Fernando: Bisimulations and Predicate Logic. 924-944 BibTeX
• Andreas Weiermann: A Functorial Property of the Aczel-Buchholz-Feferman Function. 945-955 BibTeX
• Marcia J. Groszek: omega^*₁ as an Initial Segment of the c-Degrees. 956-976 BibTeX
• Alistair H. Lachlan, Robert I. Soare: Models of Arithmetic and Upper Bounds for Arithmetic Sets. 977-983 BibTeX
• Tapani Hyttinen, Saharon Shelah: Constructing Strongly Equivalent Nonisomorphic Models for Unsuperstable Theories, Part A. 984-996 BibTeX
• James D. Sharp: Combinatorics on Ideals and Axiom A. 997-1000 BibTeX
• Fernando Ferreira: A Feasible Theory for Analysis. 1001-1011 BibTeX
• Arthur D. Grainger: Flat Sets. 1012-1021 BibTeX
• Slawomir Solecki: Covering Analytic Sets by Families of Closed Sets. 1022-1031 BibTeX
• Michael Sheard: A Guide to Truth Predicates in the Modern Era. 1032-1054 BibTeX
• Yasuo Kanai: On a Generalization of Distributivity. 1055-1067 BibTeX
• Alexandra Shlapentokh: Diophantine Equivalence and Countable Rings. 1068-1095 BibTeX
• Sy D. Friedman: Jensen's Sigma^* Theory and the Combinatorial Content of V=L. 1096-1104 BibTeX

Volume 59, Number 4, December 1994

• Carl G. Jockusch Jr., Robert I. Soare: Boolean Algebras, Stone Spaces, and the Iterated Turing Jump. 1121-1138 BibTeX
• Sergei N. Artëmov, Franco Montagna: On First-Order Theories with Provability Operator. 1139-1153 BibTeX
• Lew Gordeev: A Modified Sentence Unprovable in PA. 1154-1157 BibTeX
• George Kafkoulis: The Consistency Strength of an Infinitary Ramsey Property. 1158-1195 BibTeX
• James Cummings: Possible Behaviours for the Mitchell Ordering II. 1196-1209 BibTeX
• Zlatan Damnjanovic: Strictly Primitive Recursive Realizability, I. 1210-1227 BibTeX
• Gaisi Takeuti: The Critical Number of a Variable in a Function. 1228-1244 BibTeX
• Nando Prati: A Partial Model of NP with E. 1245-1253 BibTeX
• Ross Willard: Hereditary Undecidability of Some Theories of Finite Structures. 1254-1262 BibTeX
• Mitio Takano: Subformula Property in Many-Valued Modal Logics. 1263-1273 BibTeX
• Gaisi Takeuti: Grzegorcyk's Hierarchy and Iep Sigma₁. 1274-1284 BibTeX
• Ambar Chowdhury, Anand Pillay: On the Number of Models of Uncountable Theories. 1285-1300 BibTeX
• Tamara Lakins Hummel: Effective Versions of Ramsey's Theorem: Avoiding the Cone above 0'. 1301-1325 BibTeX
• Frank P. Weber: Initial Segments of the Lattice of Ideals of R.E. Degrees. 1326-1350 BibTeX
• Mark E. Nadel: Scott Heights of Abelian Groups. 1351-1359 BibTeX
• Rodney G. Downey, Christine Ann Haught: Embedding Lattices into the wtt-Degrees below 0'. 1360-1382 BibTeX
• Christopher J. Ash, Julia F. Knight: Mixed Systems. 1383-1399 BibTeX
• Anand Pillay: Definability of Types, and Pairs of O-Minimal Structures. 1400-1409 BibTeX
• Christopher J. Ash: On Countable Fractions from an Elementary Class. 1410-1413 BibTeX
• Henryk Kotlarski: On the Incompleteness Theorems. 1414-1419 BibTeX
• Philip D. Welch: Characterising Subsets of omega₁ Constructible from a Real. 1420-1432 BibTeX