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

Volume 59, Number 2, June 1994

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

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

Volume 59, Number 4, December 1994

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

Last update Tue Feb 14 04:21:03 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page