The Journal of Symbolic Logic, Volume 46

Volume 46, Number 1, March 1981

Erik Ellentuck: Hyper-Torre Isols. 1-5 BibTeX
Andre Boileau, André Joyal: La Logique des Topos. 6-16 BibTeX
W. A. Howard: Ordinal Analysis of Simple Cases of Bar Recursion. 17-30 BibTeX
Mitchell Spector: The kappa-Closed Unbounded Filter and Supercompact Cardinals. 31-40 BibTeX
John R. Steel: Determinateness and the Separation Property. 41-44 BibTeX
Barbara Veit: A Proof of the Associated Sheaf Theorem by Means of Categorical Logic. 45-55 BibTeX
Chantal Berline: Rings Which Admit Elimination of Quantifiers. 56-58 BibTeX
Akihiro Kanamori: On P-Points Over a Measurable Cardinal. 59-66 BibTeX
Frederic Brenton Fitch: The Consistency of System Q. 67-76 BibTeX
John T. Kearns: Modal Semantics without Possible Worlds. 77-86 BibTeX
E. G. K. López-Escobar: On the Interpolation Theorem for the Logic of Constant Domains. 87-88 BibTeX
Arthur W. Apter: Changing Cofinalities and Infinite Exponents. 89-95 BibTeX
Fred G. Abramson: Locally Countable Models of sigma₁-Separation. 96-100 BibTeX
James H. Schmerl: Decidability and Finite Axiomatizability of Theories of ₀-Categorical Partially Ordered Sets. 101-120 BibTeX
W. Gielen, Harrie C. M. de Swart, Wim Veldman: The Continuum Hypothesis in Intuitionism. 121-136 BibTeX
Bruno Poizat: Sous-Groupes Definissables d'Un Groupe Stable. 137-146 BibTeX
Andreas Blass: Some Initial Segments of the Rudin-Keisler Ordering. 147-157 BibTeX
Ayda I. Arruda, Rolando Chuaqui, Newton C. A. da Costa, Irene F. Mikenberg: Meeting of the Association for Symbolic Logic: Santiago, Chile, 1978. 180-190 BibTeX
Daniel Halpern, William W. Tait, John T. Baldwin: Meeting of the Association for Symbolic Logic: Biloxi, 1979. 191-198 BibTeX
Alfred B. Manaster, Thomas H. Payne, David Harrah: Meeting of the Association for Symbolic Logic: San Diego, 1979. 199-203 BibTeX
W. G. Malcolm, M. J. Cresswell: Meeting of the Association for Symbolic Logic: Hamilton, New Zealand, 1979. 204-206 BibTeX

Volume 46, Number 2, June 1981

Dag Normann: Countable Functionals and the Projective Hierarchy. 209-215 BibTeX
Robert A. Di Paola: A Lift of a Theorem of Friedberg: A Banach-Mazur Functional that Coincides with No alpha-Recursive Functional on the Class of alpha-Recursive Functions. 216-232 BibTeX
G. Charlwood: An Axiomatic Version of Positive Semilattice Relevance Logic. 233-239 BibTeX
Daniel Leivant: Implicational Complexity in Intuitionistic Arithmetic. 240-248 BibTeX
Arthur W. Apter: Measurability and Degrees of Strong Compactness. 249-254 BibTeX
William S. Hatcher, Bernard R. Hodgson: Complexity Bounds on Proofs. 255-258 BibTeX
C. Smorynski: Recursively Saturated Nonstandard Models of Arithmetic. 259-286 BibTeX
Adam Krawczyk: Patterns of Projecta. 287-295 BibTeX
Yuzuru Kakuda: On a Condition for Cohen Extensions which Preserve Precipitous Ideals. 296-300 BibTeX
Michael Makkai: An Example Concerning Scott Heights. 301-318 BibTeX
Michael C. Nagle: The Decidability of Normal K5 Logics. 319-328 BibTeX
C. Smorynski: Calculating Self-Referential Statements: Guaspari Sentences of the First Kind. 329-344 BibTeX
Saharon Shelah: Canonization Theorems and Applications. 345-353 BibTeX
Warren D. Goldfarb: On the Godel Class with Identity. 354-364 BibTeX
Shizuo Kamo: Nonstandard Natural Number Systems and Nonstandard Models. 365-376 BibTeX
Julia F. Knight: Algebraic Independence. 377-384 BibTeX
Peter la Roche: Effective Galois Theory. 385-392 BibTeX
Wlodzimierz Zadrozny: A New Inner Model for ZFC. 393-396 BibTeX
Terrence Millar: Vaught's Theorem Recursively Revisited. 397-411 BibTeX
John N. Crossley, Lloyd Humberstone: Meeting of the Association for Symbolic Logic: Melbourne, Australia 1979. 424-426 BibTeX
George Boolos, Sy D. Friedman, Harold Hodes: Meeting of the Association for Symbolic Logic: New York 1979. 427-434 BibTeX
F. R. Drake, Stanley S. Wainer: European Summer Meeting of the Association for Symbolic Logic: Leeds, 1979. 435-446 BibTeX

Volume 46, Number 3, September 1981

J. L. Bell: Isomorphism of Structures in S-Toposes. 449-459 BibTeX
Robert P. Daley: Busy Beaver Sets and the Degrees of Unsolvability. 460-474 BibTeX
Ralph Kopperman: First-Order Topological Axioms. 475-489 BibTeX
Douglas E. Miller: The Metamathematics of Model Theory: Discovering Language in Action. 490-498 BibTeX
Pat Rogers: Preservation of Saturation and Stability in a Variety of Nilpotent Groups. 499-512 BibTeX
Bruno Poizat: Theories Instables. 513-522 BibTeX
Daniele Mundici: An Algebraic Result about Soft Model Theoretical Equivalence Relations with an Application to H. Friedman's Fourth Problem. 523-530 BibTeX
Daniel Leivant: On the Proof Theory of the Modal Logic for Arithmetic Provability. 531-538 BibTeX
J. C. E. Dekker: Twilight Graphs. 539-571 BibTeX
Jeffrey B. Remmel: Recursive Isomorphism Types of Recursive Boolean Algebras. 572-594 BibTeX
Jeffrey B. Remmel: Recursive Boolean Algebras with Recursive Atoms. 595-616 BibTeX
Charlotte Lin: Recursively Presented Abelian Groups: Effective p-Group Theory. I. 617-624 BibTeX
Jan Mycielski: Analysis Without Actual Infinity. 625-633 BibTeX
Jean-Yves Girard, Peter Päppinghaus: A Result on Implications of sigma;₁-Sentences and Its Application to Normal Form Theorems. 634-642 BibTeX
E. M. Kleinberg: Producing Measurable Cardinals Beyond kappa. 643-648 BibTeX
W. V. Quine: Predicate Functors Revisited. 649-652 BibTeX
Hao Wang: Some Facts About Kurt Godel. 653-659 BibTeX
Richard Boyd: Annual Meeting of the Association for Symbolic Logic: Washington, DC 1977. 677-689 BibTeX
Leszek Pacholski, Jedrzej Wierzejewski: Annual Meeting of the Association for Symbolic Logic: Karpacz, Poland 1979. 690-702 BibTeX

Volume 46, Number 4, December 1981

David B. Posner: The Upper Semilattice of Degrees <0? Is Complemented. 705-713 BibTeX
David B. Posner, Robert W. Robinson: Degrees Joining to 0? 714-722 BibTeX
Linda Jean Richter: Degrees of Structures. 723-731 BibTeX
Andreas Blass: The Model of Set Theory Generated by Countably Many Generic Reals. 732-752 BibTeX
Harold T. Hodes: Upper Bounds on Locally Countable Admissible Initial Segments of a Turing Degree Hierarchy. 753-760 BibTeX
Gregory L. Cherlin, Peter H. Schmitt: Undecidable Lt Theories of Topological Abelian Groups. 761-772 BibTeX
E. G. K. López-Escobar: Equivalence Between Semantics for Intuitionism. I. 773-780 BibTeX
Alan H. Mekler: Stability of Nilpotent Groups of Class 2 and Prime Exponent. 781-788 BibTeX
Alfred B. Manaster, Jeffrey B. Remmel: Partial Orderings of Fixed Finite Dimension: Model Companions and Density. 789-802 BibTeX
Alexander S. Kechris: Forcing With \triangle Perfect Trees and Minimal \triangle-Degrees. 803-816 BibTeX
William Weiss: The Equivalence of a Generalized Martin's Axiom to a Combinatorial Principle. 817-821 BibTeX
Howard Becker: Ad and the Supercompactness of ₁. 822-842 BibTeX
Volker Weispfenning: The Model-Theoretic Significance of Complemented Existential Formulas. 843-850 BibTeX
Rick L. Smith: Effective Aspects of Profinite Groups. 851-863 BibTeX