The Journal of Symbolic Logic, Volume 36
Volume 36, Number 1, March 1971
Thomas Jech: Trees. 1-14- Dean P. McCullough: Logical Connectives for Intuitionistic Propositional Logic. 15-20
- David Pincus: Support Structures for the Axiom of Choice. 28-38
- Joel I. Friedman: The Generalized Continuum Hypothesis is Equivalent to the Generalized Maximization Principle. 39-54
- C. H. Applebaum: omega-Homomorphisms and omega-Groups. 55-65
- M. K. Rennie: Semantics for RK1t. 97-107
- C. G. McKay: A Class of Decidable Intermediate Propositional Logics. 127-128
Volume 36, Number 2, June 1971
- Manuel Lerman: Some Theorems on R-Maximal Sets and Major Subsets of Recursively Enumerable Sets. 193-215
- Jerome I. Malitz: Infinitary Analogs of Theorems from First Order Model Theory. 216-228
- H. Jerome Keisler: On Theories Categorical in Their Own Power. 240-244
- Thomas J. Grilliot: On Effectively Discontinuous Type-2 Objects. 245-248
- Sabine Gornemann: A Logic Stronger Than Intuitionism. 249-261
- Donald A. Alton: Recursively Enumerable Sets Which are Uniform for Finite Extensions. 271-287
- David Isles: Natural Well-Orderings. 288-300
- Alfred B. Manaster: Some Contrasts between Degrees and the Arithmetical Hierarchy. 301-304
- Joan Rand Moschovakis: Can There be no Nonrecursive Functions? 309-315
- Gaisi Takeuti: Meetings of the Association for Symbolic Logic. 357-384
Volume 36, Number 3, September 1971
- Eugene Wesley: An Application of Nonstandard Analysis to Game Theory. 385-394
- Karel Prikry: On Measures on Complete Boolean Algebras. 395-406
- Kenneth Kunen: Elementary Embeddings and Infinitary Combinatorics. 407-413
- Peter B. Andrews: Resolution in Type Theory. 414-432
- James C. Owings Jr.: A Splitting Theorem for Simple pi11 Sets. 433-438
- Joseph G. Rosenstein: A Note on a Theorem of Vaught. 439-440
- Abraham Robinson: On the Notion of Algebraic Closedness for Noncommutative Groups and Fields. 441-444
- John Gregory: Incompleteness of a Formal System for Infinitary Finite-Quantifier Formulas. 445-455
- Leslie H. Tharp: A Quasi-Intuitionistic Set Theory. 456-460
- Jörg Flum: A Remark on Infinitary Languages. 461-462
- Frank Wattenberg: Nonstandard Topology and Extensions of Monad Systems to Infinite Points. 463-476
- J. C. E. Dekker: Countable Vector Spaces with Recursive Operations. Part II. 477-493
- Rohit Parikh: Existence and Feasibility in Arithmetic. 494-508
- Rolando Chuaqui: Meeting of the Association for Symbolic Logic Santiago, Chile 1970. 576-580
- David Kaplan: Meeting of the Association for Symbolic Logic Los Angeles 1971. 581-592
Volume 36, Number 4, December 1971
- Robert Fittler: Generalized Prime Models. 593-606
- Ralph McKenzie: Negative Solution of the Decision Problem for Sentences True in Every Subalgebra of < N, + >. 607-609
- M. D. Gladstone: Simplifications of the Recursion Scheme. 653-665
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-18T211851 by the dblp team