The Journal of Symbolic Logic, Volume 35

Volume 35, Number 1, March 1970

J. Michael Dunn: Algebraic Completeness Results for R-Mingle and Its Extensions. 1-13
Michael Morley: The Number of Countable Models. 14-18
J. Donald Monk: On an Algebra of Sets of Finite Sequences. 19-28
Manuel Lerman: Turing Degrees and Many-One Degrees of Maximal Sets. 29-40
S. K. Thomason: A Theorem on Initial Segments of Degrees. 41-45
Kempachiro Ohashi: On a Question of G. E. Sacks. 46-50
Anil Nerode, Alfred B. Manaster: A Universal Embedding Property of the RETs. 51-59
Jack Silver: Every Analytic Set is Ramsey. 60-64
Erik Ellentuck: Almost Combinatorial Skolem Functions. 65-72
Saharon Shelah: On Theories T Categorical in absolut T. 73-82
Saharon Shelah: On the Cardinality of Ultraproduct of Finite Sets. 83-84
Alan G. Hamilton: Bases and alpha-Dimensions of Countable Vector Spaces with Recursive Operations. 85-96
A. B. Slomson: An Algebraic Characterization of Indistinguishable Cardinals. 97-104
Patrick Schindler: Tense Logic for Discrete Future Time. 105-118
Robin O. Gandy, Robert I. Soare: A Problem in the Theory of Constructive Order Types. 119-121
Jaakko Hintikka, Karel De Bouvere, Isaac Levi: Meeting of the Association for Symbolic Logic. 179-187

S. K. Thomason: On Initial Segments of Hyperdegrees. 189-197
Hisao Tanaka: On Analytic Well-Orderings. 198-204
Donald A. Martin, Marian Boykan Pour-El: Axiomatizable Theories with Few Axiomatizable Extensions. 205-209
M. R. Krom: The Decision Problem for Formulas in Prenex Conjunctive Normal Form with Binary Disjunctions. 210-216
M. H. Lob: A Model Theoretic Characterization of Effective Operations. 217-222
James C. Owings Jr.: The Meta-R.E. Sets, but Not the pi¹₁ Sets, Can Be Enumerated Without Repetition. 223-229
R. R. Rockingham Gill: The Craig-Lyndon Interpolation Theorem in 3-Valued Logic. 230-238
Eugene W. Madison: A Note on Computable Real Fields. 239-241
Frederic Brenton Fitch: Correction to a Paper on Modal Set Theory. 242
C. E. M. Yates: Initial Segments of the Degrees of Unsolvability Part II: Minimal Degrees. 243-266
A. Trew: Nonstandard Theories of Quantification and Identity. 267-294
James K. Feibleman, Raymond M. Smullyan, Robert L. Vaught: Meeting of the Association for Symbolic Logic. 352-363

Lawrence Feiner: Hiearchies of Boolean Algebras. 365-374
L. Feiner: The Strong Homogeneity Conjecture. 375-377
Erik Ellentuck: A Coding Theorem for Isols. 378-382
Leonard P. Sasso Jr.: A Cornucopia of Minimal Degrees. 383-388
Michael Machtey: Admissible Ordinals and Intrinsic Consistency. 389-400
H. Raymond Strong: Construction of Models for Algebraically Generalized Recursive Function Theory. 401-409
E. M. Kleinberg: Strong Partition Properties for Infinite Cardinals. 410-428
Herbert B. Enderton, Hilary Putnam: A Note on the Hyperarithmetical Hierarchy. 429-430
Dov M. Gabbay: The Decidability of the Kreisel-Putnam System. 431-437

Moto-O Takahashi: Many-Valued Logics of Extended Gentzen Style II. 493-528
Melvin Fitting: An Embedding of Classical Logic in S4. 529-534
Wilbur John Walkoe Jr.: Finite Partially-Ordered Quantification. 535-555
E. M. Kleinberg: Recursion Theory and Formal Deducibility. 556-558
C. H. Applebaum, J. C. E. Dekker: Partial Recursive Functions and omega-Functions. 559-568
Robin O. Gandy, C. E. M. Yates: Meeting of the Association for Symbolic Logic Manchester 1969. 598-613