The Journal of Symbolic Logic, Volume 34

Volume 34, Number 1, March 1969

Richmond H. Thomason, D. Randolph Johnson Jr.: Predicate Calculus with Free Quantifier Variables. 1-7 BibTeX
J. B. Florence: Partially Ordered Sets Representable by Recursively Enumerable Classes. 8-12 BibTeX
Matthew J. Hassett: Recursive Equivalence Types and Groups. 13-20 BibTeX
A. B. Slomson: An Undecidable Two Sorted Predicate Calculus. 21-23 BibTeX
Pavel Materna: Identity, Equivalence and Isomorphism of Problems. 24-34 BibTeX
David Makinson: A Normal Modal Calculus Between T and S4 Without the Finite Model Property. 35-38 BibTeX
Louise Hay: Index Sets of Finite Classes of Recursively Enumerable Sets. 39-44 BibTeX
Alfred B. Manaster: Rich Co-ordinals, Addition Isomorphisms, and Rets. 45-52 BibTeX
Robert I. Soare: Sets with no Subset of Higher Degrees. 53-56 BibTeX
Nino B. Cocchiarella: A Second Order Logic of Existence. 57-69 BibTeX
Erik Ellentuck: A Choice Free Theory of Dedekind Cardinals. 70-84 BibTeX
Manuel Lerman: Some Nondistributive Lattices as Initial Segments of the Degrees of Unsolvability. 85-98 BibTeX
Yiannis N. Moschovakis: Meeting of the Association for Symbolic Logic. 152-160 BibTeX

Gabor T. Herman: The Unsolvability of the Uniform Halting Problem for Two State Turing Machines. 161-165 BibTeX
J. Richard Büchi, Lawrence H. Landweber: Definability in the Monadic Second-Order Theory of Successor. 166-170 BibTeX
Stephen D. Comer: Finite Inseparability of Some Theories of Cylindrification Algebras. 171-176 BibTeX
Thomas J. Grilliot: Hierarchies Based on Objects of Finite Type. 177-182 BibTeX
Peter H. Krauss: Representation of Symmetric Probability Models. 183-193 BibTeX
James C. Owings Jr.: pi¹₁ Sets, omega-Sets, and Metacompleteness. 194-204 BibTeX
E. M. Kleinberg: The Independence of Ramsey's Theorem. 205-206 BibTeX
N. Z. Shapiro: Real Numbers and Functions in the Kleene Hierarchy and Limits of Recursive, Rational Functions. 207-214 BibTeX
R. A. Bull: Note on a Paper in Tense Logic. 215-218 BibTeX
Richard A. Platek: Eliminating the Continuum Hypothesis. 219-225 BibTeX
Jon Barwise: Infinitary Logic and Admissible Sets. 226-252 BibTeX
M. J. Cresswell: A Conjunctive Normal Form For S3.5. 253-255 BibTeX
Robert I. Soare: A Note on Degrees of Subsets. 256 BibTeX
R. A. Bull: On Modal Logic with Propositional Quantifiers. 257-263 BibTeX
John P. Burgess: Probability Logic. 264-274 BibTeX
P. D. Finch: On the Structure of Quantum Logic. 275-282 BibTeX
Ernest A. Edmonds: Independence of Rose's Axioms for m-Valued Implication. 283-284 BibTeX
Robert I. Soare: Constructive Order Types on Cuts. 285-289 BibTeX

Czeslaw Lejewski: Consistency of Lesniewski's Mereology. 321-328 BibTeX
M. J. Cresswell: The Elimination of De Re Modalities. 329-330 BibTeX
J. Donald Monk: Nonfinitizability of Classes of Representable Cylindric Algebras. 331-343 BibTeX
James S. Johnson: Nonfinitizability of Classes of Representable Polyadic Algebras. 344-352 BibTeX
Harvey Friedman: Bar Induction and Pi¹₁-CA¹. 353-362 BibTeX
J. C. E. Dekker: Countable Vector Spaces with Recursive Operations. Part I. 363-387 BibTeX
Jacob Manuel Plotkin: Generic Embeddings. 388-394 BibTeX
Alfred Horn: Logic with Truth Values in a Linearly Ordered Heyting Algebra. 395-408 BibTeX
Jon Barwise: Applications of Strict Pi¹₁ Predicates to Infinitary Logic. 409-423 BibTeX
M. Benda: Reduced Products and Nonstandard Logics. 424-436 BibTeX
Michael Makkai: On the Model Theory of Denumerably Long Formulas with Finite Strings of Quantifiers. 437-459 BibTeX
Robert K. Meyer, J. Michael Dunn: E, R, and gama. 460-474 BibTeX
Alfred Horn: Free L-Algebras. 475-480 BibTeX
Rudolf Grewe: Natural Models of Ackermann's Set Theory. 481-488 BibTeX
Carl G. Jockusch Jr.: The Degrees of Hyperhyperimmune Sets. 489-493 BibTeX
Andrzej Mostowski, Andrzej Blikle: Meeting of the Association for Symbolic Logic Warsaw 1968. 533-544 BibTeX

J. Roger Hindley: An Abstract Form of the Church-Rosser Theorem. I. 545-560 BibTeX
John T. Kearns: Combinatory Logic with Discriminators. 561-575 BibTeX
Abraham Robinson: Compactification of Groups and Rings and Nonstandard Analysis. 576-588 BibTeX
C. Ward Henson: Finite Sets in Quine's New Foundations. 589-596 BibTeX
James P. Jones: Effectively Retractable Theories and Degrees of Undecidability. 597-604 BibTeX
Yiannis N. Moschovakis: Abstract Computability and Invariant Definability. 605-633 BibTeX
Frank B. Cannonito, Mark Finkelstein: On Primitive Recursive Permutations and their Inverses. 634-638 BibTeX
Gabor T. Herman: A Simple Solution of the Uniform Halting Problem. 639-640 BibTeX