The Journal of Symbolic Logic, Volume 36

Volume 36, Number 1, March 1971

Thomas Jech: Trees. 1-14 BibTeX
Dean P. McCullough: Logical Connectives for Intuitionistic Propositional Logic. 15-20 BibTeX
John Helm, Paul Young: On Size vs. Efficiency for Programs Admitting Speed-Ups. 21-27 BibTeX
David Pincus: Support Structures for the Axiom of Choice. 28-38 BibTeX
Joel I. Friedman: The Generalized Continuum Hypothesis is Equivalent to the Generalized Maximization Principle. 39-54 BibTeX
C. H. Applebaum: omega-Homomorphisms and omega-Groups. 55-65 BibTeX
Carl G. Jockusch Jr., Robert I. Soare: A Minimal Pair of pi⁰₁ Classes. 66-78 BibTeX
John T. Baldwin, Alistair H. Lachlan: On Strongly Minimal Sets. 79-96 BibTeX
M. K. Rennie: Semantics for RK¹_t. 97-107 BibTeX
K. Jon Barwise, Robin O. Gandy, Yiannis N. Moschovakis: The Next Admissible Set. 108-120 BibTeX
Solomon Garfunkel, Herbert S. Shank: On the Undecidability of Finite Planar Graphs. 121-126 BibTeX
C. G. McKay: A Class of Decidable Intermediate Propositional Logics. 127-128 BibTeX
G. Fuhrken, W. Taylor: Weakly Atomic-Compact Relational Structures. 129-140 BibTeX

Manuel Lerman: Some Theorems on R-Maximal Sets and Major Subsets of Recursively Enumerable Sets. 193-215 BibTeX
Jerome I. Malitz: Infinitary Analogs of Theorems from First Order Model Theory. 216-228 BibTeX
Stål Aanderaa, Dag Belsnes: Decision Problems for Tag Systems. 229-239 BibTeX
H. Jerome Keisler: On Theories Categorical in Their Own Power. 240-244 BibTeX
Thomas J. Grilliot: On Effectively Discontinuous Type-2 Objects. 245-248 BibTeX
Sabine Gornemann: A Logic Stronger Than Intuitionism. 249-261 BibTeX
Shoji Maehara, Gaisi Takeuti: Two Interpolation Theorems for a pi¹₁ Predicate Calculus. 262-270 BibTeX
Donald A. Alton: Recursively Enumerable Sets Which are Uniform for Finite Extensions. 271-287 BibTeX
David Isles: Natural Well-Orderings. 288-300 BibTeX
Alfred B. Manaster: Some Contrasts between Degrees and the Arithmetical Hierarchy. 301-304 BibTeX
E. M. Kleinberg, Richard A. Shore: On Large Cardinals and Partition Relations. 305-308 BibTeX
Joan Rand Moschovakis: Can There be no Nonrecursive Functions? 309-315 BibTeX
Gaisi Takeuti: Meetings of the Association for Symbolic Logic. 357-384 BibTeX

Eugene Wesley: An Application of Nonstandard Analysis to Game Theory. 385-394 BibTeX
Karel Prikry: On Measures on Complete Boolean Algebras. 395-406 BibTeX
Kenneth Kunen: Elementary Embeddings and Infinitary Combinatorics. 407-413 BibTeX
Peter B. Andrews: Resolution in Type Theory. 414-432 BibTeX
James C. Owings Jr.: A Splitting Theorem for Simple pi¹₁ Sets. 433-438 BibTeX
Joseph G. Rosenstein: A Note on a Theorem of Vaught. 439-440 BibTeX
Abraham Robinson: On the Notion of Algebraic Closedness for Noncommutative Groups and Fields. 441-444 BibTeX
John Gregory: Incompleteness of a Formal System for Infinitary Finite-Quantifier Formulas. 445-455 BibTeX
Leslie H. Tharp: A Quasi-Intuitionistic Set Theory. 456-460 BibTeX
Jörg Flum: A Remark on Infinitary Languages. 461-462 BibTeX
Frank Wattenberg: Nonstandard Topology and Extensions of Monad Systems to Infinite Points. 463-476 BibTeX
J. C. E. Dekker: Countable Vector Spaces with Recursive Operations. Part II. 477-493 BibTeX
Rohit Parikh: Existence and Feasibility in Arithmetic. 494-508 BibTeX
Rolando Chuaqui: Meeting of the Association for Symbolic Logic Santiago, Chile 1970. 576-580 BibTeX
David Kaplan: Meeting of the Association for Symbolic Logic Los Angeles 1971. 581-592 BibTeX

Robert Fittler: Generalized Prime Models. 593-606 BibTeX
Ralph McKenzie: Negative Solution of the Decision Problem for Sentences True in Every Subalgebra of < N, + >. 607-609 BibTeX
D. J. Shoesmith, T. J. Smiley: Deducibility and Many-Valuedness. 610-622 BibTeX
Gabriel Sabbagh, Paul C. Eklof: Definability Problems for Modules and Rings. 623-649 BibTeX
Kenneth Kunen, Karel Prikry: On Descendingly Incomplete Ultrafilters. 650-652 BibTeX
M. D. Gladstone: Simplifications of the Recursion Scheme. 653-665 BibTeX
Michael O. Rabin, Michael Morley: Meeting of the Association for Symbolic Logic. 696-710 BibTeX