The Journal of Symbolic Logic publishes original scholarly work in symbolic logic. Founded in 1936, it has become the leading research journal in the field. The Journal aims to represent logic broadly, including its connections with mathematics and philosophy as well as newer aspects related to computer science and linguistics.
Volume 48, Issue 2
Publication Date: June, 1983
Miscellaneous front pages, J. Symbolic Logic, Volume 48, Issue 2 (1983)
Further Consistency and Independence Results in NF Obtained by the Permutation Method
T. E. Forster; 236-238
A Complete Theory with Arbitrarily Large Minimality Ranks
Robert E. Woodrow and Julia F. Knight; 321-328
Boolean Sentence Algebras: Isomorphism Constructions
William P. Hanf and Dale Myers; 329-338
High and Low Kleene Degrees of Coanalytic Sets
Stephen G. Simpson and Galen Weitkamp; 356-368
Countable Models of Multidimensional $\aleph_0$-Stable Theories
Elisabeth Bouscaren; 377-383
The Monadic Theory of $\omega^1_2$
Yuri Gurevich, Menachem Magidor and Saharon Shelah; 387-398
The Slow-Growing and the Grzecorczyk Hierarchies
E. A. Cichon and S. S. Wainer; 399-408
Completeness in the Theory of Properties, Relations, and Propositions
George Bealer; 415-426
On a Combinatorial Property of Menas Related to the Partition Property for Measures on Supercompact Cardinals
Kenneth Kunen and Donald H. Pelletier; 475-481
Reviews
Review: L. A. S. Kirby, J. B. Paris, A. Lachlan, M. Srebrny, A. Zarach, Initial Segments of Models of Peano's Axioms; J. B. Paris, Some Independence Results for Peano Arithmetic
Stephen G. Simpson; 482-483
Review: K. McAloon, Modeles de l'arithmetique, Siminaire Paris VII
J. B. Paris; 483-484
Review: Kit Fine, Failures of the Interpolation Lemma in Quantified Modal Logic
Saul A. Kripke; 486-488
Review: Tyler Burge, Frege and the Hierarchy; Terence D. Parsons, Peter A. French, Theodore E. Uehling, Howard K. Wettstein, Frege's Hierarchies of Indirect Senses and the Paradox of Analysis
M. J. Cresswell; 495-496
Review: G. L. Cherlin, The Model-Companion of a Class of Structures; L. Lipshitz, D. Saracino, The Model Companion of the Theory of Commutative Rings Without Nilpotent Elements; Angus Macintyre, Model-Completeness for Sheaves of Structures
Stephen D. Comer; 496
Review: Michael R. Garey, David S. Johnson, Computers and Intractability. A Guide to the Theory of NP-Completeness
Harry R. Lewis; 498-500
Review: Anil Gupta, The Logic of Common Nouns. An Investigation in Quantified Modal Logic
Frank Vlach; 500-501
Review: David R. Dowty, Word Meaning and Montague Grammar. The Semantics of Verbs and Times in Generative Semantics and in Montague's PTQ
F. Guenthner; 501-502
Review: Hubert C. Kennedy, Peano. Life and Works of Giuseppe Peano
Piergiorgio Odifreddi; 503-504
Meeting of the Association for Symbolic Logic: San Francisco, 1981
Jon Barwise, Robert Vaught and Yiannis Moschovakis; 505-513
Meeting of the Association for Symbolic Logic: Milwaukee, 1981
Jon Barwise, Robert Soare and Terrence Millar; 514-518
Meeting of the Association for Symbolic Logic: Wellington, New Zealand, 1981
W. G. Malcolm and M. J. Cresswell; 519-526
Miscellaneous back pages, J. Symbolic Logic, Volume 48, Issue 2 (1983)
