The Journal of Symbolic Logic, Volume 61

Volume 61, Number 1, March 1996

• Alberto Zanardo:
  Branching-Time Logic with Quantification over Brances: The Point of View of Modal Logic. 1-39
  
• Greg Hjorth:
  Variations of the Martin-Solovay Tree. 40-51
  
• Andreas Weiermann:
  How to Characterize Provably Total Functions by Local Predicativity. 52-69
  
• Jaap van Oosten:
  Two Remarks on the Lifschitz Realizability Topos. 70-79
  
• Tomek Bartoszynski, Andrzej Roslanowski, Saharon Shelah:
  Adding One Random Real. 80-90
  
• Lev D. Beklemishev:
  Bimodal Logics for Extensions of Arithmetical Theories. 91-124
  
• Michael Rathjen:
  Monotone Inductive Definitions in Explicit Mathematics. 125-146
  
• Martin Otto:
  The Expressive Power of Fixed-Point Logic with Counting. 147-176
  
• Lorenz Halbeisen, Haim Judah:
  Mathias Absoluteness and the Ramsey Property. 177-194
  
• Sachio Hirokawa:
  The proofs of alpha -> alpha in P-W. 195-211
  
• Dag Westerståhl:
  Self-Commuting Quantifiers. 212-224
  
• Arthur W. Apter:
  AD and Patterns of Singular Cardinals below Theta. 225-235
  
• Enrique Casanovas, Rafel Farré:
  Omitting Types in Incomplete Theories. 236-245
  
• Marion Scheepers:
  Lebesque Measure Zero Subsets of the Real Line and an Infinite Game. 246-249
  
• Adam J. Grove, Joseph Y. Halpern, Daphne Koller:
  Asymptotic Conditional Probabilities: The Non-Unary Case. 250-276
  
• Anatole Khelif:
  Existentially Closed Models via Constructible Sets: There are 2^aleph₀ Existentially Closed Pairwise Non Elementarily Equivalent Existentially Closed Ordered Groups. 277-284
  
• Henryk Kotlarski:
  An Addition to Rosser's Theorem. 285-292
  
• Philip D. Welch:
  Countable Unions of Simple Sets in the Core Model. 293-312
  
• Thomas Jech, Saharon Shelah:
  Possible pcf Algebras. 313-317
  
• Ludomir Newelski:
  On Atomic or Saturated Sets. 318-333
  

Volume 61, Number 2, June 1996

• Ross T. Brady:
  Gentzenizations of Relevant Logics Without Distribution, I. 353-378
  
• Ross T. Brady:
  Gentzenizations of Relevant Logics Without Distribution, II. 379-401
  
• Ross T. Brady:
  Gentzenizations of Relevant Logics With Distribution. 402-420
  
• Michael Zakharyaschev:
  Canonical Formulas for K4, Part II: Confinal Subframe Logics. 421-449
  
• Marcia J. Groszek, Michael E. Mytilinaios, Theodore A. Slaman:
  The Sacks Density Theorem and Sigma₂-Bounding. 450-467
  
• Thomas Glaß:
  On Power Set in Explicit Mathematics. 468-489
  
• Penelope Maddy:
  Set Theoretic Naturalism. 490-514
  
• Patrick Cégielski, Yuri Matiyasevich, Denis Richard:
  Definability and Decidability Issues in Extensions of the Integers with the Divisibility Predicate. 515-540
  
• Yves Lafont:
  The Undecidability of Second Order Linear Logic Without Exponentials. 541-548
  
• Yuri Gurevich, Saharon Shelah:
  On Finite Rigid Structures. 549-562
  
• Olivier Finkel, Jean-Pierre Ressayre:
  Stretchings. 563-585
  
• Vladimir Kanovei:
  On External Scott Algebras in Nonstandard Models of Peano Arithmetic. 586-607
  
• William C. Purdy:
  Fluted Formulas and the Limits of Decidability. 608-620
  
• Ernest Schimmerling, John R. Steel:
  Fine Structure for Tame Inner Models. 621-639
  
• Douglas E. Ensley:
  Automorphism-Invariant Measures on aleph₀-Categorical Structures Without the Independence Property. 640-652
  
• G. Y. Sher:
  Did Tarski Commit ``Tarski's Fallacy''? 653-686
  

Volume 61, Number 3, September 1996

• Paul Taylor:
  Intuitionistic Sets and Ordinals. 705-744
  
• Wim Veldman, Frank Waaldijk:
  Some Elementary Results in Intuitionistic Model Theory. 745-767
  
• Jeremy Avigad:
  On the Relationship Between ATR₀ and ID_<omega. 768-779
  
• Martin Gilchrist, Saharon Shelah:
  Identities on Cardinals less than aleph_omega. 780-787
  
• Leon Horsten:
  Reflecting in Epistemic Arithmetic. 788-801
  
• Lauri Hella, Kerkko Luosto, Jouko A. Väänänen:
  The Hierarchy Theorem for Generalized Quantifiers. 802-817
  
• Gerhard Jäger, Thomas Strahm:
  Some Theories with Positive Induction of Ordinal Strength phi omega 0. 818-842
  
• Silvio Ghilardi, Giancarlo Meloni:
  Relational and Partial Variable Sets and Basic Predicate Logic. 843-872
  
• Alan Dow:
  On Boolean Subalgebras of P(omega₁)/ctble. 873-879
  
• Klaus Ambos-Spies, Peter A. Fejer, Steffen Lempp, Manuel Lerman:
  Decidability of the Two-Quantifier Theory of the Recursively Enumerable Weak Truth-Table Degrees and Other Distributive Upper Semi-Lattices. 880-905
  
• Greg Hjorth:
  On aleph₁ Many Minimal Models. 906-919
  
• Claude Laflamme:
  A Few Special Ordinal Ultrafilters. 920-927
  
• José Iovino:
  The Morley Rank of a Banach Space. 928-941
  
• Domenico Zambella:
  Notes on Polynomially Bounded Arithmetic. 942-966
  
• Ambar Chowdhury, James Loveys, Predrag Tanovic:
  A Definable Continuous Rank for Nonmultidimensional Superstable Theories. 967-984
  
• Michael C. Laskowski, Laura L. Mayer:
  Stable Structures with Few Substructures. 985-1005
  
• Natasha Alechina, Michiel van Lambalgen:
  Generalized Quantification as Substructural Logic. 1006-1044
  

Volume 61, Number 4, December 1996

• Dov M. Gabbay:
  Fibred Semantics and the Weaving of Logics, Part 1: Modal and Intuitionistic Logics. 1057-1120
  
• Françoise Delon, Rafel Farré:
  Some Model Theory for Almost Real Closed Fields. 1121-1152
  
• José Carlos Cifuentes, Antonio Mario Sette, Daniele Mundici:
  Cauchy Completeness in Elementary Logic. 1153-1157
  
• Masahiro Kumabe:
  Minimal Complementation Below Uniform Upper Bounds for the Arithmetical Degrees. 1158-1192
  
• Grigori Mints:
  Strong Termination for the Epsilong Substitution Method. 1193-1205
  
• Shmuel Lifsches, Saharon Shelah:
  Uniformization, Choice Functions and Well Orders in the Class of Trees. 1206-1227
  
• Alessandro Berarducci, Margarita Otero:
  A Recursive Nonstandard Model of Normal Open Induction. 1228-1241
  
• Pilar Dellunde, Ramon Jansana:
  Some Characterization Theorems for Infinitary Universal Horn Logic Without Equality. 1242-1260
  
• Saharon Shelah:
  If There Is an Exactly lambda-free Abelian Group There There Is an Exactly lambda-Separable One in lambda. 1261-1278
  
• James Loveys, Predrag Tanovic:
  Countable Models of Trivial Theories Which Admit Finite Coding. 1279-1286
  
• Abhijit Dasgupta:
  Boolean Operations, Borel Sets, and Hausdorff's Question. 1287-1304
  
• Michael C. Laskowski, Saharon Shelah:
  Forcing Isomorphism II. 1305-1320
  
• Ross T. Brady:
  Simple Gentzenizations for the Normal Formulae of Contraction-Less Logics. 1321-1346
  
• S. Barry Cooper, Andrea Sorbi:
  Noncappable Enumeration Degrees Below 0'_e. 1347-1363
  
• William C. Calhoun, Theodore A. Slaman:
  The Pi₂⁰ Enumeration Degrees Are Not Dense. 1364-1379
  
• Thomas Jech, Saharon Shelah:
  On Countably Closed Complete Boolean Algebras. 1380-1386
  

Last update Tue May 21 14:59:17 2013 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page