The Journal of Symbolic Logic, Volume 47

Volume 47, Number 1, March 1982

A. M. Dawes: Splitting Theorems for Speed-Up Related to Order of Enumeration. 1-7 BibTeX
Richard A. Shore: On Homogeneity and Definability in the First-Order Theory of the Turing Degrees. 8-16 BibTeX
Richard Statman: Completeness, Invariance and lambda-Definability. 17-26 BibTeX
C. H. Applebaum: An Introduction to omega-Extensions of omega-Groups. 27-36 BibTeX
Uri Abraham, Saharon Shelah: Forcing With Stable Posets. 37-42 BibTeX
Thomas Jech: On Hereditarily Countable Sets. 43-47 BibTeX
Robert E. Byerly: An Invariance Notion in Recursion Theory. 48-66 BibTeX
Robert E. Byerly: Recursion Theory and the Lambda-Calculus. 67-83 BibTeX
Julius B. Barbanel: Supercompact Cardinals, Elementary Embeddings and Fixed Points. 84-88 BibTeX
Julius B. Barbanel: Supercompact Cardinals and Trees of Normal Ultrafilters. 89-109 BibTeX
Stål Aanderaa, Egon Börger, Harry R. Lewis: Conservative Reduction Classes of Krom Formulas. 110-130 BibTeX
Marcel Crabbé: On the Consistency of an Impredicative Subsystem of Quine's NF. 131-136 BibTeX
James M. Henle, William S. Zwicker: Ultrafilters on Spaces of Partitions. 137-146 BibTeX
Anand Pillay: Dimension Theory and Homogeneity for Elementary Extensions of a Model. 147-160 BibTeX
E. M. Kleinberg: A Measure Representation Theorem for Strong Partition Cardinals. 161-168 BibTeX
Iraj Kalantari, Anne Leggett: Simplicity in Effective Topology. 169-183 BibTeX
E. G. K. López-Escobar: Implicational Logics in Natural Deduction Systems. 184-186 BibTeX
Carl Morgenstern: On Generalized Quantifiers in Arithmetic. 187-190 BibTeX
George Boolos: Extremely Undecidable Sentences. 191-196 BibTeX

Volume 47, Number 2, June 1982

Michael Stob: Index Sets and Degrees of Unsolvability. 241-248 BibTeX
Daniel Lascar: On the Category of Models of a Complete Theory. 249-266 BibTeX
Britta Schinzel: On Decomposition of Godelnumberings Into Friedbergnumberings. 267-274 BibTeX
Arnold W. Miller: The Baire Category Theorem and Cardinals of Countable Cofinality. 275-288 BibTeX
Charles D. Parsons: Intensional Logic in Extensional Language. 289-328 BibTeX
Chi Tat Chong: Double Jumps of Minimal Degrees Over Cardinals. 329-334 BibTeX
Jouko A. Väänänen: Abstract Logic and Set Theory. II. Large Cardinals. 335-346 BibTeX
John R. Steel: A Classification of Jump Operator. 347-358 BibTeX
Vladimir Lifschitz: Constructive Assertions in an Extension of Classical Mathematics. 359-387 BibTeX
Ashok Maitra: An Effective Selection Theorem. 388-394 BibTeX
Jan Terlouw: On Definition Trees of Ordinal Recursive Functonals: Reduction of the Recursion Orders by Means of Type Level Raising. 395-402 BibTeX
Kenneth McAloon: On the Complexity of Models of Arithmetic. 403-415 BibTeX
L. A. S. Kirby: Flipping Properties in Arithmetic. 416-422 BibTeX
James H. Schmerl, Stephen G. Simpson: On the Role of Ramsey Quantifiers in First Order Arithmetic. 423-435 BibTeX

Volume 47, Number 3, September 1982

Norman Feldman: Axiomatization of Polynomial Substitution Algebras. 481-492 BibTeX
C. Smorynski: Recursively Saturated Nonstandard Models of Arithmetic; Addendum. 493-494 BibTeX
Haim Gaifman, Marc Snir: Probabilities Over Rich Languages, Testing and Randomness. 495-548 BibTeX
James P. Jones: Universal Diophantine Equation. 549-571 BibTeX
John T. Baldwin, Douglas E. Miller: Some Contributions to Definability Theory for Languages with Generalized Quantifiers. 572-586 BibTeX
Julia F. Knight, Mark E. Nadel: Expansions of Models and Turing Degrees. 587-604 BibTeX
Douglas N. Hoover: A Normal Form Theorem for L _{omega 1p} , with Applications. 605-624 BibTeX
J. F. Pabion: Saturated Models of Peano Arithmetic. 625-637 BibTeX
George Boolos: On the Nonexistence of Certain Normal Forms in the Logic of Provability. 638-640 BibTeX
Bruno Poizat: Deux Ou Trois Choses Que je Sais de L_n. 641-658 BibTeX
James F. Lynch: On Sets of Relations Definable by Addition. 659-668 BibTeX
Walter Baur: On the Elementary Theory of Pairs of Real Closed Fields. II. 669-679 BibTeX
Jurg Schmid: Model Companions of Distributive p-Algebras. 680-688 BibTeX

Volume 47, Number 4, December 1982

Bruce I. Rose: Preservation of Elementary Equivalence Under Scalar Extension. 734-738 BibTeX
C. P. Farrington: Constructible Lattices of c-Degrees. 739-754 BibTeX
Menachem Magidor: Reflecting Stationary Sets. 755-771 BibTeX
Michael Katz: Real-Valued Models with Metric Equality and Uniformly Continuous Predicates. 772-792 BibTeX
John Bacon: First-Order Logic Based on Inclusion and Abstraction. 793-808 BibTeX
Wolfgang Maass: Recursively Enumerable Generic Sets. 809-823 BibTeX
Louise Hay, Douglas Miller: A Topological Analog to the Rice-Shapiro Index Theorem. 824-832 BibTeX
Julia F. Knight, Mark E. Nadel: Models of Arithmetic and Closed Ideals. 833-840 BibTeX
Michel Parigot: Theories D'Arbres. 841-853 BibTeX
S. Barry Cooper: Partial Degrees and the Density Problem. 854-859 BibTeX
Galen Weitkamp: Analytic Sets Having Incomparable Kleene Degrees. 860-868 BibTeX
E. P. Martin, Robert K. Meyer: Solution to the P-W Problem. 869-887 BibTeX
Keith Devlin: The Combinatorial Principle. 888-899 BibTeX