The Journal of Symbolic Logic, Volume 43

Volume 43, Number 1, March 1978

• Martin W. Bunder, Robert K. Meyer: On the Inconsistency of Systems Similar to F ^* ₂₁. 1-2 BibTeX
• Harrie C. M. de Swart: First Steps in Intuitionistic Model Theory. 3-12 BibTeX
• Richard A. Shore: Controlling the Dependence Degree of a Recursive Enumerable Vector Space. 13-22 BibTeX
• Nicolas D. Goodman: Relativized Realizability in Intuitionistic Arithmetic of All Finite Types. 23-44 BibTeX
• Henk Barendregt, Jan A. Bergstra, Jan Willem Klop, Henri Volken: Degrees of Sensible Lambda Theories. 45-55 BibTeX
• Alexander R. Bednarek, S. M. Ulam: Projective Algebra and the Calculus of Relations. 56-64 BibTeX
• Kenneth Kunen: Saturated Ideals. 65-76 BibTeX
• Robert A. Van Wesep: Separation Principles and the Axiom of Determinateness. 77-81 BibTeX
• Michael F. Singer: The Model Theory of Ordered Differential Fields. 82-91 BibTeX
• Bruce I. Rose: Rings which Admit Elimination of Quantifiers. 92-112 BibTeX
• Jeff B. Paris: Note on an Induction Axiom. 113-117 BibTeX
• Wilfried Buchholz, Wolfram Pohlers: Provable Wellorderings of Formal Theories for Transfinitely Iterated Inductive Definitions. 118-125 BibTeX
• Dan Saracino: Existentially Complete Torsion-Free Nilpotent Groups. 126-134 BibTeX
• Stephen G. Simpson: Sets Which Do Not Have Subsets of Every Higher Degree. 135-138 BibTeX

Volume 43, Number 2, June 1978

• Wolfram Pohlers: Ordinals Connected with Formal Theories for Transfinitely Iterated Inductive Definitions. 161-182 BibTeX
• John S. Schlipf: Toward Model Theory Through Recursive Saturation. 183-206 BibTeX
• Alan Rose: Formalisations of Further N₀-Valued Lukasiewicz Propositional Calculi. 207-210 BibTeX
• George F. Schumm: An Incomplete Nonnormal Extension of S3. 211-212 BibTeX
• Michael Beeson: A Type-Free Godel Interpretation. 213-227 BibTeX
• Michael Beeson: Some Relations Between Classical and Constructive Mathematics. 228-246 BibTeX
• Martin W. Bunder, Jonathan P. Seldin: Some Anomalies in Fitch's System QD. 247-249 BibTeX
• Bruce I. Rose: The N₁-Categoricity of Strictly Upper Triangular Matrix Rings Over Algebraically Closed Fields. 250-259 BibTeX
• Allen Retzlaff: Simple and Hyperhypersimple Vector Spaces. 260-269 BibTeX
• Wolfgang Maass: The Uniform Regular Set Theorem in a-Recursion Theory. 270-279 BibTeX
• David B. Posner, R. Epstein: Diagonalization in Degree Constructions. 280-283 BibTeX
• Fred Galvin, Thomas Jech, Menachem Magidor: An Ideal Game. 284-292 BibTeX
• Iraj Kalantari: Major Subspaces of Recursively Enumerable Vector Spaces. 293-303 BibTeX
• Kim B. Bruce: Ideal Models and Some Not so Ideal Problems in the Model Theory of L(Q). 304-321 BibTeX
• Richard A. Shore: Nowhere Simple Sets and the Lattice of Recursively Enumerable Sets. 322-330 BibTeX
• Julia F. Knight: An Inelastic Model with Indiscernibles. 331-334 BibTeX
• James P. Jones: Three Universal Representations of Recursively Enumerable Sets. 335-351 BibTeX
• Ayda I. Arruda, Francisco Miro Quesada, Newton C. A. da Costa, Rolando Chuaqui: Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976. 352-364 BibTeX
• Jon Barwise, Kenneth Kunen, Joseph S. Ullian: Annual Meeting of the Association for Symbolic Logic: Saint Louis, 1977. 365-372 BibTeX

Volume 43, Number 3, September 1978

• Julia F. Knight: Prime and Atomic Models. 385-393 BibTeX
• Carlos A. Di Prisco, James M. Henle: On the Compactness of N₁ and N₂. 394-401 BibTeX
• William H. Wheeler: A Characterization of Companionable, Universal Theories. 402-429 BibTeX
• Jeffrey B. Remmel: A r-Maximal Vector Space not contained in any Maximal Vector Space. 430-441 BibTeX
• Robert E. Woodrow: Theories with a Finite Number of Countable Models. 442-455 BibTeX
• Anne Leggett: alpha-Degrees of Maximal a-R.E. Sets. 456-474 BibTeX
• Saharon Shelah: On the Number of Minimal Models. 475-480 BibTeX
• H. Jerome Keisler: The Stability Function of a Theory. 481-486 BibTeX
• Dag Normann: A Continuous Functional with Noncollapsing Hierarchy. 487-491 BibTeX
• Anand Pillay: Number of Countable Models. 492-496 BibTeX
• Nicolas D. Goodman: The Nonconstructive Content of Sentences of Arithmetic. 497-501 BibTeX
• Alexander S. Kechris: Minimal Upper Bounds for Sequences of triangle¹ _2n -Degrees. 502-507 BibTeX
• Nigel J. Cutland: Sigma₁-Compactness in Languages Stronger than L_A. 508-520 BibTeX
• Jon Barwise, Yiannis N. Moschovakis: Global Inductive Definability. 521-534 BibTeX
• Ruggero Ferro: Interpolation Theorems for L ²⁺ _{k, k}. 535-549 BibTeX
• Saharon Shelah: End Extensions and Numbers of Countable Models. 550-562 BibTeX
• George Mills: A Model of Peano Arithmetic with no Elementary End Extension. 563-567 BibTeX
• John P. Burgess: On the Hanf Number of Souslin Logic. 568-571 BibTeX
• Fred G. Abramson, Leo Harrington: Models Without Indiscernibles. 572-600 BibTeX
• Harold T. Hodes: Uniform Upper Bounds on Ideals of Turing Degrees. 601-612 BibTeX
• Stephen Cole Kleene: An Addendum to The Work of Kurt Gödel. 613 BibTeX
• Carl G. Jockusch Jr., Robert I. Soare, William W. Tait, Gaisi Takeuti: Meeting of the Association for Symbolic Logic: Chicago, 1977. 614-619 BibTeX
• Truman Botts: What is the Conference Board of the Mathematical Sciences? 620-621 BibTeX

Volume 43, Number 4, December 1978

• Ko-Wei Lih: Type Two Partial Degrees. 623-629 BibTeX
• Alexander S. Kechris: The Perfect Set Theorem and Definable Wellorderings of the Continuum. 630-634 BibTeX
• Petr Stepánek: Cardinal Collapsing and Ordinal Definability. 635-642 BibTeX
• Jonathan P. Seldin: A Sequent Calculus Formulation of Type Assignment with Equality Rules for the lambda beta-Calculus. 643-649 BibTeX
• Joram Hirschfeld: Examples in the Theory of Existential Completeness. 650-658 BibTeX
• Judy Green: kappa-Suslin Logic. 659-666 BibTeX
• Martin K. Solomon: Some Results on Measure Independent Godel Speed-Ups. 667-672 BibTeX
• Paul E. Howard, Arthur L. Rubin, Jean E. Rubin: Independence Results for Class Forms of the Axiom of Choice. 673-684 BibTeX
• Leo Harrington: Analytic Determinacy and 0 ^#. 685-693 BibTeX
• Nancy Johnson: Classifications of Generalized Index Sets of Open Classes. 694-714 BibTeX
• Carl G. Jockusch Jr., David B. Posner: Double Jumps of Minimal Degrees. 715-724 BibTeX
• Jeff B. Paris: Some Independence Results for Peano Arithmetic. 725-731 BibTeX