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

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

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

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