J. Symbolic Logic, Tome 37 (1972)

Project Euclid

Notice of a Meeting of the Association for Symbolic Logic

Project Euclid

Notice of a Meeting of the Association for Symbolic Logic

Project Euclid

Review: Charles Parsons, A Note on Quine's Treatment of Transfinite Recursion

Kneebone, G. T.

Project Euclid

Review: Jorg Flum, A Remark on Infinitary Languages

Chang, C. C.

Project Euclid

Review: A. F. Pixley, Distributivity and Permutability of Congruence Relations in Equational Classes of Algebras

Seifert, Ralph

Project Euclid

Review: Robert McNaughton, The Theory of Automata, a Survey

Huzino, S.

Project Euclid

Review: J. Hartmanis, Context-free Languages and Turing Machine Computations

Ginsburg, S.

Project Euclid

Review: Yiannis N. Moschovakis, Abstract First Order Computability

Grilliot, Thomas J.

Project Euclid

Review: Frederic B. Fitch, A Note on Recursive Relations

DiPaola, Robert A.

Project Euclid

Review: A. V. Kuznecov, V. A. Gerciu, E. Mendelson, Superintuitionistic Logics and Finite Approximability

Yasuhara, Ann

Project Euclid

Review: Vladimir G. Kirin, On the Polynomial Representation of Operators in the $n$-valued Propositional Calculus

Graham, R. L.

Project Euclid

Review: Hugues Leblanc, The Algebra of Logic and the Theory of Deduction

Standley, Gerald

Project Euclid

Review: Hugues Leblanc, Boolean Algebra and the Propositional Calculus

Standley, Gerald

Project Euclid

Review: Gerald J. Massey, Four Simple Systems of Modal Propositional Logic

Makinson, David

Project Euclid

Review: G. E. Hughes, M. J. Cresswell, An Introduction to Modal Logic

Project Euclid

Review: Janusz Chmielewski, La Logica Degli Antichi Cinesi

Boh, Ivan

Project Euclid

Review: Henryk Greniewski, Olgierd Wojtasiewicz, From the History of Chinese Logic

Boh, Ivan

Project Euclid

Review: G. J. Warnock, Metaphysics in Logic

Wedberg, Anders

Project Euclid

Review: Ron Klinger, The Paradox of Counter-Conditional and its Dissolution

Project Euclid

Review: Charles K. Cobb, Daniel P. Thompson, Law, Logic, and Rationality

Project Euclid

Review: M. K. Rennie, On Postulates for Temporal Order

Segerberg, Krister

Project Euclid

Review: J. Ridder, Uber Modale Aussagenlogiken und Ihren Zusammenhang mit Strukturen

Bayart, A.

Project Euclid

Review: P. Naslin, Circuits Logiques et Automatismes a Sequences

Kuntzmann, J.

Project Euclid

Review: P. Naslin, Circuits a Relais et Automatismes a Sequences

Kuntzmann, J.

Project Euclid

Review: V. I. Kolpakov, Estimate of the Number of Covers of the $n$-Dimensional Cube

Project Euclid

Review: A. R. Meo, A Theorem for Synthetizing Combinatorial Networks

Choudhury, A. K.

Project Euclid

Review: Gr. C. Moisil, Les Etats Transitoires dans les Circuits Sequentiels

Project Euclid

Logic Colloquium and Meeting of the Association for Symbolic Logic

Project Euclid

Review: P. M. Lewis, R. E. Stearns, J. Hartmanis, Memory Bounds for Recognition of Context-free and Context-Sensitive Languages

Savitch, Walter J.

Project Euclid

Review: J. Hartmans, P. M. Lewis, R. E. Stearns, Classifcations of Computations by Time and Memory Requirements

Becvar, Jir

Project Euclid

Review: M. A. Spivak, Algorithm for Abstract Synthesis of Automata for an Expanded Language of Regular Expressions

Brzozowski, J. A.

Project Euclid

Review: John Doner, Tree Acceptors and Some of their Applications

Project Euclid

Review: Robert McNaughton, Testing and Generating Infinite Sequences by a Finite Automaton

Corcoran, John ; Herring, John

Project Euclid

Review: Hao Wang, The Calculus of Partial Predicates and its Extension to Set Theory I

Project Euclid

Review: William Craig, Bases for First-order Theories and Subtheories

Krom, M. R.

Project Euclid

Review: Angelo Margaris, First Order Mathematical Logic

Lighstone, A. H.

Project Euclid

Review: B. Rotman, G. T. Kneebone, The Theory of Sets and Transfinite Numbers

Project Euclid

Review: A. H. Kruse, Grothendieck Universes and the Super-Complete Models of Shepherdson

Shepherdson, J. C.

Project Euclid

Review: Hu Shih-Hua, Recursive Algorithms. Theory of Recursive Algorithms. I; Hu Shih-Hua, Loh Chung-Wan, Kernel Functions. Theory of Recursive Algorithms II; Hu Shih-Hua, Normal Forms of Recursive Functions. Theory of Recursive Algorithms III

Vuckovic, V.

Project Euclid

Review: A. H. Lachlan, Lower Bounds for Pairs of Recursively Enumerable Degrees

Jockusch, Carl G.

Project Euclid

Review: C. E. M. Yates, A Minimal Pair of Recursively Enumerable Degrees

Robinson, Robert W.

Project Euclid

Review: J. R. Shoenfield, Ernest Nagel, Patrick Suppes, Alfred Tarski, Some Applications of Degrees

Thomason, S. K.

Project Euclid

Review: Ju. V. Matijasevic, R. N. Gross, Diophantine Representation of the Set of Prime Numbers

Project Euclid

Review: Paul Turan, On the Work of Alan Baker; Alan Baker, Effective Methods in the Theory of Numbers

Project Euclid

Review: Yu. V. Matijasevic, J. E. Fenstad, Diophantine Representation of Recursively Enumerable Predicates

Project Euclid

Review: Yu. V. Matiyasevich, A. O. Slisenko, Arithmetic Representations of Powers

Project Euclid

Review: Yu. V. Matiyasevich, A. O. Slisenko, The Connection between Hilbert's Tenth Problem and Systems of Equations between Words and Lengths

Project Euclid

Review: Ken Hirose, A Conjecture on Hilbert's 10th Problem

Project Euclid

Review: Julia Robinson, Diophantine Decision Problems

Project Euclid

Review: Martin Davis, Extensions and Corollaries of Recent Work on Hilbert's Tenth Problem

Project Euclid

Review: Martin Davis, One Equation to Rule Them all

Project Euclid

Review: Martin Davis, Application of Recursive Function Theory to Number Theory

Robinson, Julia

Project Euclid

Review: Martin Davis, Hilary Putnam, Reductions of Hilbert's Tenth Problem

Robinson, Julia

Project Euclid

Review: Rolf Schock, Logics Without Existence Assumptions

Hailperin, Theodore

Project Euclid

Review: Rolf Schock, Contributions to Syntax, Semantics, and the Philosophy of Science

Hailperin, Theodore

Project Euclid

Review: Timothy Smiley, Sense Without Denotation

Fraassen, Bas C. Van

Project Euclid

Review: David Crystal, Linguistics; Frank Palmer, Grammar

Project Euclid

Review: Ian Hacking, What is Strict Implication?

Makinson, David

Project Euclid

Review: Bishwambhar Pahi, Ralph C. Applebee, An Unsolvable Problem Concerning Implicational Calculi

Gladstone, M. D.

Project Euclid

Review: V. Kudielka, P. Oliva, Complete Sets of Functions of Two and Three Binary Variables

Wernick, William

Project Euclid

Review: Seymour Ginsburg, Some Remarks on Abstract Machines

Lofgren, Lars

Project Euclid

Review: John Myhill, Note on degrees of partial functions

Sasso, Leonard P.

Project Euclid

Review: Louise Hay, Elementary Differences Between the Isols and the co-simple isols

Hassett, M.

Project Euclid

Review: J. C. E. Dekker, Les Fonctions combinatoires et les Isols

Manaster, Alfred B.

Project Euclid

Review: Robert A. DiPaola, Pseudo-Complements and ordinnal Logics based on consistency statements; Robert A. DiPaola, Some properties of pseudo-complements of recursively enumerable sets

Shoenfield, J. R.

Project Euclid

Review: Gottlob Frege, A Source Book in Mathematical Logic 1879-1931

Project Euclid

Review: Mariko Yasugi, Intuitionistic Analysis and Godel's Interpretation

Troelstra, A. S.

Project Euclid

Review: Frederic B. Fitch, Quasi-Constructive Foundations for Mathematics

Lercher, Bruce

Project Euclid

Review: S. R. Kogalovskij, Universal Classes of Models; Tadashi Ohkuma, Ultrapowers in Categories

Preller, Anne

Project Euclid

Review: S. R. Kogalovskij, O Kvaziproektivnyh Klassah Modelej

Pacholski, Leszek

Project Euclid

Review: J. Donald Monk, Nontrivial $m$-Injective Boolean Algebras do not Exist

Yaqub, Adil

Project Euclid

Review: F. E. J. Linton, Injective Boolean $\Sigma$-Algebras

Yaqub, Adil

Project Euclid

Organization of the Society for Exact Philosophy

Project Euclid

Review: Wanda Szmielew, New Foundations of Absolute Geometry

Frayne, Thomas

Project Euclid

Review: Andrzej Grzegorczyk, Axiomatizability of Geometry without points

Schwabhauser, Wolfram

Project Euclid

Review: E. Shamir, On Sequential Languages and two classes of regular events

Blikle, A.

Project Euclid

Review: E. Shamir, On Sequential Languages and two classes of regular events. Introduction

Enderton, H.

Project Euclid

Review: Manuel Blum, Recursive Function Theory and Speed of Computation

Young, Paul

Project Euclid

Review: N. V. Belakin, Simulation of Turing Machines on Nets

Mullin, Albert A.

Project Euclid

Review: N. V. Belakin, Computation of Effective Operators on Turing Machines with Restricted Erasure

Mullin, Albert A.

Project Euclid

Review: N. V. Belyakin, A Certain Class of Turing Machines

Project Euclid

Review: A. Markov, On the Unsolvability of some problems in topology

Project Euclid

Review: Erwin Engeler, Algorithmic Properties of Structures

Project Euclid

Review: Seymour Ginsburg, Thomas N. Hibbard, Joseph S. Ullian, Sequences in Context Free Languages

Matthews, G. H.

Project Euclid

Review: D. Rodding, Klassen Rekursiver Funktionen

Asser, Gunter

Project Euclid

Review: T. G. McLaughlin, A Theorem on Productive Functions

Project Euclid

Review: Gerold Stahl, Remarks on the Incompleteness Proof

Parsons, Charles

Project Euclid

Review: A. Dumitriu, The Antinomy of the Theory of Types

Project Euclid

Review: Karl Schroter, Die Unabhangigkeit der Elementaren pradikatenlogischen schlussregeln

Project Euclid

Review: B. Scarpellini, A Characterization of $\Delta_2$-Sets

Levy, Azriel

Project Euclid

Review: Akiko Kino, On Ordinal Diagrams

Levitz, Hilbert

Project Euclid

Review: Shotaro Tanaka, On Axioms of Ontology; Shotaro Tanaka, On Theorems of Ontology

Iwanus, Boguslaw

Project Euclid

Review: J. C. Abbott, Semi-Boolean Algebra

Gratzer, G.

Project Euclid

Review: Neal Zierler, Michael Schlessinger, Boolean Embeddings of Orthomodular sets and quantum logic

Drieschner, M.

Project Euclid

Review: G. Gratzer, On the class of subdirect powers of a finite algebra

Galvin, Fred

Project Euclid

Review: T. Traczyk, Prime Ideals in Generalized Post Algebras

Dwinger, Ph.

Project Euclid

Review: Gr. C. Moisil, Le Algebre di Lukasiwicz

Sicoe, C.

Project Euclid

Review: T. D. Maistrova, Application of Many-valued Logics in the Theory of Relay Networks

Rose, Alan

Project Euclid

Review: V. I. Sestakov, Leo Ebner, A Dual Arithmetic Interpretation of the 3-Valued Propositional Calculus Utilized in the Simulation of This Calculus by Relay-Contact Networks

Rose, Alan

Project Euclid

Review: V. A. Jankov, Conjunctively Indecomposable Formulas in Propositional Calculi

McKay, C. G.

Project Euclid

Review: V. A. Jankov, Constructing a Sequence of Strongly Independent Superintuitionistic Propositional Calculi; V. A. Jankov, The Calculus of the weak "law of excluded Middle."

Horn, Alfred

Project Euclid

Review: Shih-Chiang Wang, An Axiom System for the Proposition Calculus

Project Euclid

Review: J. Knox, Material Implication and "if...then

Project Euclid

Review: Jean E. Rubin, Bi-modal Logic, Double-Closure algebras, and Hilbert space

Makinson, David

Project Euclid

Review: Nicholas Rescher, On the Formalization of Two Modal Theses

Murphy, John P.

Project Euclid

Review: J. Myhill, Problems Arising in the Formalization of Intensional Logic

Rundle, Bede

Project Euclid

Review: R. M. Martin, On the Frege-Church Theory of Meaning

Resnik, Michael D.

Project Euclid

Review: A. J. Baker, Presupposition and Types of Clause

Resnik, Michael D.

Project Euclid

Review: John Myhill, Remarks on the Language of Physics; H. G. Bohnert, Remarks on Myhill's Remarks on Coordinate Languages

Project Euclid

Review: Henry E. Kyburg, A Modest Proposal Concerning Simplicity

Project Euclid

Review: Nelson Goodman, Condensation Versus Simplification

Project Euclid

Review: Nelson Goodman, The Test of Simplicity

Project Euclid

Review: Patrick Suppes, Nelson Goodman on the Concept of Logical Simplicity

Project Euclid

Review: Lars Svenonius, Definability and Simplicity

Project Euclid

Forcing for the Impredicative Theory of Classes

Chuaqui, Rolando

p. 1-18

Project Euclid

$\mathscr{E}^\alpha$-Arithmetic and Transfinite Induction

Rose, H. E.

p. 19-30

Project Euclid

The Completeness Theorem for Infinitary Logic

Mansfield, Richard

p. 31-34

Project Euclid

Describing Ordinals Using Functionals of Transfinite Type

Aczel, Peter

p. 35-47

Project Euclid

Minimum Models of Analysis

Shilleto, J. R.

Meyer, Albert R. ; Fischer, Patrick C.

p. 48-54

Project Euclid

Computational Speed-Up by Effective Operators

p. 55-68

Project Euclid

On Order-Types of Models

Hodges, Wilfrid

p. 69-70

Project Euclid

On Nonregular Ultrafilters

Ketonen, Jussi

p. 71-74

Project Euclid

Products of Two-Sorted Structures

Olin, Philip

p. 75-80

Project Euclid

Omitting Types: Application to Recursion Theory

Grilliot, Thomas J.

p. 81-89

Project Euclid

Nonrecursive Combinatorial Functions

Ellentuck, Erik

p. 90-95

Project Euclid

A Transfinite Sequence of $\omega$-Models

Mostowski, Andrzej

p. 96-102

Project Euclid

The Intersection of Nonstandard Models of Arithmetic

Blass, Andreas

p. 103-106

Project Euclid

Uniqueness and Characterization of Prime Models over Sets for Totally Transcendental First-Order Theories

Shelah, Saharon

p. 107-113

Project Euclid

The Positive Properties of Isolic Integers

Ellentuck, Erik

p. 114-132

Project Euclid

A New Proof of a Theorem of Shelah

Rosenthal, John W.

p. 133-134

Project Euclid

Applications of Trees to Intermediate Logics

Gabbay, Dov M.

p. 135-138

Project Euclid

A Discrete Chain of Degrees of Index Sets

Hay, Louise

p. 139-149

Project Euclid

Semantic Analysis of Tense Logics

Thomason, S. K.

p. 150-158

Project Euclid

Semantics for Relevant Logics

Urquhart, Alasdair

p. 159-169

Project Euclid

Review: Richard M. Gale, The Language of Time

Cocchiarella, Nino B.

p. 170-172

Project Euclid

Review: C. Goekoop, The Logic of Invariable Concomitance in the Tattvacintamani, Gangesa's Anumitinirupana and Vyaptivada, with Introduction, Translation, and Commentary

Sibajiban

p. 172-173

Project Euclid

Review: R. M. Martin, Existential Quantification and the Regimentation of Ordinary Language

p. 173-174

Project Euclid

Review: Nelson Goodman, Axiomatic Measurement of Simplicity

p. 174-175

Project Euclid

Review: John G. Kemeny, Two Measures of Complexity

p. 175-176

Project Euclid

Review: Nelson Goodman, Recent Developments in the Theory of Simplicity

p. 176-177

Project Euclid

Review: Robert Ackermann, Some Remarks on Kyburg's Modest Proposal

p. 177-178

Project Euclid

Review: Louis Rougier, Traite de la Conaissance

Blanche, Robert

p. 178-179

Project Euclid

Review: Kazimierz Ajdukiwicz, A Method of Eliminating Intensional sentences and sentential formulae

p. 179-180

Project Euclid

Review: E. J. Lemmon, A Theory of Attributes Based on Modal Logic; Ruth Barcan Marcus, Classes and Attributes in Extended Modal Systems

Cresswell, M. J.

p. 180-181

Project Euclid

Review: Boleslaw Sobocinski, A Note on the Regular and Irregular Modal Systems of Lewis

Schumm, G. F.

p. 181-182

Project Euclid

[Omnibus Review]

Schumm, G. F.

p. 182-183

Project Euclid

Review: Gerald J. Massey, The Theory of Truth Tabular Connectives, Both Truth Functional and Modal; Gerald J. Massey, Binary Connectives Functionally Complete by Themselves in S5 modal Logic

Rennie, M. K.

p. 183-184

Project Euclid

Review: A. N. Prior, Some Axiom-Pairs for Material and Strict Implication

Zeman, J. Jay

p. 184-185

Project Euclid

Review: Gr. C. Moisil, Application des Algebres de Lukasiewicz a L'etude des Schemas a Contacts et Relais

Sicoe, C.

p. 187-188

Project Euclid

Review: T. Traczyk, On Post Algebras with Uncountable Chain of Constants. Algebras of Homomorphisms; Ph. Dwinger, Generalized Post Algebras

Pigozzi, Don

p. 188-189

Project Euclid

Review: B. Csakany, On the Abelian Properties of the Primitive Classes of Universal Algebras

Iskander, Awad A.

p. 189-190

Project Euclid

Review: David Sachs, The Lattice of Subalgebras of a Boolean Algebra

Gratzer, G.

p. 190-191

Project Euclid

Review: F. William Lawvere, An Elementary Theory of the Category of sets

Elgot, Calvin C.

p. 191-192

Project Euclid

Review: Gaisi Takeuti, A Formalization of the Theory of Ordinal Numbers

Karp, Carol

p. 192-193

Project Euclid

Review: S. R. Kogalovskij, On the Semantics of the Theory of Types

Mostowski, Andrzej

p. 193-194

Project Euclid

Review: Gerold Stahl, A Paratheory of Type Theory

Parsons, Charles

p. 194-195

Project Euclid

Review: Vladeta Vuckovic, Mathematics of Incompleteness and Undecidability

Smullyan, Raymond M.

p. 195-196

Project Euclid

Review: Joseph S. Ullian, Partial Algorithm Problems for Context Free Languages

Matthews, G. H.

p. 196-197

Project Euclid

Review: Joseph Harrison, Recursive Pseudo-well-Orderings

Moschovakis, Yiannis N.

p. 197-198

Project Euclid

Review: Manuel Blum, On the Size of Machines

p. 199-200

Project Euclid

Review: J. Richard Buchi, Lawrence H. Landweber, Solving Sequential Conditions by finite-state stategies

McNaughton, Robert

p. 200-201

Project Euclid

Review: Jon Barwise, Implicit definability and compactness in infinitary languages

Makkai, Mihaly

p. 201-202

Project Euclid

Review: G. V. Cudnovskii, Some Results in the Theory of Infinitely Long Expressions

Lopez-Escobar, E. G. K.

p. 202-203

Project Euclid

Review: Eduard Wette, Jack J. Bulloff, Thomas C. Holyoke, S. W. Hahn, Definition eines (Relativ Vollstandigen) formalen systems konstruktiver Arithmetik

Kreisel, G. ; Zucker, J.

p. 203-204

Project Euclid

Further Citations

p. 204-223

Project Euclid

A simplification of combinatory Logic

Goodman, Nicolas D.

p. 225-246

Project Euclid

On Models with Power-Like Ordering

Shelah, Saharon

p. 247-267

Project Euclid

Ramsey's Theorem and Recursion Theory

Jockusch, Carl G.

p. 268-280

Project Euclid

Ordinal Recursion, and a Refinement of the Extended Grzegorczyk Hierarchy

Wainer, S. S.

p. 281-292

Project Euclid

Existentially Closed Structures

Simmons, H.

p. 293-310

Project Euclid

Which Number Theoretic Problems can be Solved in Recursive Progressions on $\Phi\frac{1}{1}$-Paths Through O?

Kreisel, G.

p. 311-334

Project Euclid

Some Model Theory of Abelian Groups

Eklof, Paul C.

p. 335-342

Project Euclid

Generalized Interpolation Theorems

Garland, Stephen J.

p. 343-351

Project Euclid

A Reduction Theorem for Predicate Logic

Lob, M. H.

p. 352-354

Project Euclid

A System of Abstract Constructive Ordinals

Howard, W. A.

p. 355-374

Project Euclid

Sufficient Conditions for the Undecidability of Intuitionistic Theories with Applications

Gabbay, Dov M.

p. 375-384

Project Euclid

General Models, Descriptions, and Choice in Type Theory

Andrews, Peter B.

p. 385-394

Project Euclid

General Models and Extensionality

Andrews, Peter B.

p. 395-397

Project Euclid

Review: Richard T. Cox, Probability, Frequency and Reasonable Expectation; Richard T. Cox, The Algebra of Probable Inference

Miller, David

p. 398-399

Project Euclid

Review: R. Engelking, K. Kuratowski, Quelques Theoremes de L'algebre de Boole et Leurs applications topologiques

p. 399-400

Project Euclid

Review: S. R. Kogalovskij, On Universal Classes of Algebras

Pacholski, Leszek

p. 400-401

Project Euclid

Review: S. R. Kogalovskij, Structural Characteristics of Universal Classes

Pacholski, Leszek

p. 401-402

Project Euclid

Review: Hilary Putnam, Mathematics without Foundations

Kreisel, Georg

p. 402-404

Project Euclid

Review: Gert H. Muller, Nicht-Standardmodelle der Zahlentheorie

Robinson, Abraham

p. 405-406

Project Euclid

Review: John N. Crossley, Recursive equivalence: A survey; John N. Crossley, Recursive equivalence

Manaster, Alfred B.

p. 406-407

Project Euclid

Review: Louise Hay, The Co-simple isols

Hassett, M.

p. 407-408

Project Euclid

Review: E. A. Polakov, Algebras of recursive functions); E. A. Polakov, On some properties of algebras of recursive functions

Mendelson, Elliott

p. 408-409

Project Euclid

[Omnibus Review]

Hinman, Peter G.

p. 409-410

Project Euclid

Review: M. A. Aizerman, L. A. Gusev, L. I. Rozonoer, I. M. Smirnova, A. A. Tal, The algorithmic Insolubility of the Problem of Recognizing the Representability of recursive events in finite automata

Ullian, Joseph S.

p. 410-411

Project Euclid

Review: Paul W. Abrahams, Machine Verification of Mathematical Proof

McCarthy, John

p. 411-412

Project Euclid

Review: Michael A. Arbib, Theories of Abstract Automata

Salomaa, Arto

p. 412-413

Project Euclid

Review: Peter H. Starke, Abstrakte Automaten

Salomaa, Arto

Review: Gr. C. Moisil, Contribution a L'Etude Algebrique des Mecanismes Automatiques; Gr. C. Moisil, Gh. Ioanin, Sur le Fonctionnement des Schemas a Boutons Reels; G. C. Moisil, Theorie Algebrique du Fonctionnement des Schemas a Relais a Contacts Echelonnes

p. 413-414

Project Euclid

Grosswald, Emil

p. 414-416

Project Euclid

Review: Kimio Ibuki, Kenzi Naemura, Akihiro Nozaki, General Theory of Complete Sets of Logical Functions

Wernick, William

p. 416-417

Project Euclid

Review: M. J. Cresswell, The Interpretation of Some Lewis Systems of Modal Logic

Parsons, Terence

p. 417-418

Project Euclid

Review: Jaakko Hintikka, An Aristotelian Dilemma; Nicholas Rescher, Aristotle's Theory of Modal Syllogisms and Its Interpretation; Storrs McCall, Aristotle's Modal Syllogisms

Thomas, Ivo

p. 418-419

Project Euclid

Review: Benson Mates, Elementary Logic

p. 419-420

Project Euclid

Review: Nuel D. Belnap, An Analysis of Questions: Preliminray Report

Harrah, David

p. 420-421

Project Euclid

Review: A. N. Prior, The Autonomy of Ethics; J. M. Shorter, Professor Prior on the Autonomy of Ethics

Diggs, B. J.

p. 421-422

Project Euclid

Review: M. J. O'Carroll, Improper Self-Reference in Classical Logic and the Prediction Paradox; M. J. O'Carroll, A Three-Valued, Non-Levelled Logic Consistent for all Self-Reference

Cargile, James

p. 422-423

Project Euclid

Review: H. Leblanc, R. H. Thomason, Completeness Theorems for Some Presupposition-Free Logics

Hailperin, Theodore

p. 424-425

Project Euclid

Further Citations

Parsons, Charles D. ; Orgass, Richard J. ; Thomason, Richmond H.

p. 425-429

Project Euclid

Meeting of the Association for Symbolic Logic

p. 430-447

Project Euclid

Infinitary Formulas Preserved Under Unions of Models

Nebres, Bienvenido F.

p. 449-465

Project Euclid

On $n$-Quantifier Induction

Parsons, Charles

p. 466-482

Project Euclid

Addition in Nonstandard Models of Arithmetic

Phillips, R.

p. 483-486

Project Euclid

Almost Strongly Minimal Theories. I

Baldwin, John T.

p. 487-493

Project Euclid

Countable Homogeneous Relational Structures and $\aleph_0$-Categorical Theories

Henson, C. Ward

p. 494-500

Project Euclid

Decidability of the Almost All Theory of Degrees

Stillwell, John

p. 501-506

Project Euclid

Characterization of Recursively Enumerable Sets

Wright, Jesse B.

p. 507-511

Project Euclid

Omitting Quantifier-Free Types in Generic Structures

Macintyre, Angus

p. 512-520

Project Euclid

An Elementary Sentence which Has Ordered Models

Schmerl, James H.

Schmerl, James H. ; Shelah, Saharon

p. 521-530

Project Euclid

On Power-like Models for Hyperinaccessible Cardinals

p. 531-537

Project Euclid

The Inconsistency of a Certain Axiom System for Set Theory

Davis, James D.

p. 538-542

Project Euclid

A Note on Frame Extensions

Hay, Louise

p. 543-545

Project Euclid

The Model-Companion of a Class of Structures

Cherlin, G. L.

p. 546-556

Project Euclid

An Algebraic Difference Between Isols and Cosimple Isols

Ellentuck, Erik

p. 557-561

Project Euclid

Theories without Countable Models

Blass, Andreas

p. 562-568

Project Euclid

On the Inadequacy of Inner Models

Blass, Andreas

p. 569-571

Project Euclid

Some Representations of Diophantine Sets

Robinson, Raphael M.

p. 572-578

Project Euclid

Decidability of Some Intuitionistic Predicate Theories

Gabbay, Dov M.

p. 579-587

Project Euclid

The Hanf Number of Second Order Logic

Barwise, K. Jon

Garfunkel, Solomon ; Shank, Herbert

p. 588-594

Project Euclid

On the Undecidability of Finite Planar Cubic Graphs

p. 595-597

Project Euclid

Jump Equivalence of the $\Delta^0_2$ Hyperhyperimmune Sets

Cooper, S. B.

p. 598-600

Project Euclid

Review: Hilary Putnam, An Unsolvable Problem in Number Theory

p. 601-602

Project Euclid

Review: Martin Davis, Hilary Putnam, Diophantine Sets Over Polynomial Rings

p. 602-603

Project Euclid

Review: Julia Robinson, Unsolvable Diophantine Problems

DiPaola, Robert A.

p. 603-604

Project Euclid

Review: Yu. V. Matiyasevich, A. O. Slisenko, Two Reductions of Hilbert's Tenth Problem

p. 604-605

Project Euclid

Review: Ju. V. Matijasevic, A. Doohovskoy, Enumerable Sets are Diophantine

Robinson, Julia

p. 605-606

Project Euclid

Review: Yu. V. Matijasevic, Diophantine Representation of Recursively Enumerable Predicates

p. 606-607

Project Euclid

Review: M. K. Valiev, Ob Odnoj Teoreme G. Higmana; M. K. Valiev, O Sloznosti Problemy Tozdestva Dla Konecno Opredelennyh Grupp; V. A. Trahtenbrot, O Sloznosti Algoritmov Svedenia v Konstrukciah Novikova-Buna

Collins, Donald J.

p. 607-609

Project Euclid

Review: L. A. Bokut, Stepeni Nerazresimosti Problemy Soprazennosti dla Konecnoopredelennyh Grupp

Collins, Donald

p. 609-610

Project Euclid

Review: J. R. Shoenfield, J. W. Addison, Leon Henkin, Alfred Tarski, Applications of Model Theory to Degrees of Unsolvability

Sacks, Gerald E.

p. 610-611

Project Euclid

Review: Erik Ellentuck, Solution of a Problem of R. Friedberg

Barback, Joseph

p. 611-612

Project Euclid

Review: Solomon Feferman, J. W. Addison, Leon Henkin, Alfred Tarski, Some Applications of the Notions of Forcing and Generic Sets (Summary); Solomon Feferman, Some Applications of the Notions of Forcing and Generic Sets

Baumgartner, James E.

p. 612-613

Project Euclid

Review: Johann Sonner, On the Formal Definition of Categories

Costa, N. C. A. Da

p. 613-614

Project Euclid

Review: John Venn, Symbolic Logic

p. 614-615

Project Euclid

Review: Benson Mates, Anneliese Oberschelp, Elementare Logik (Pradikatenlogik der Ersten Stufe)

p. 615-616

Project Euclid

Review: Hartley Rogers, An Example in Mathematical Logic

Gould, William E.

Corcoran, John ; Herring, John

p. 616-617

Project Euclid

Review: Heinz-Dieter Ebbinghaus, Uber eine Pradikatenlogik mit Partiell Definierten Pradikaten und Funktionen

p. 617-618

Project Euclid

Review: Michael O. Rabin, Decidability of Second-order Theories and Automata on Infinite Trees

p. 618-619

Project Euclid

Review: J. W. Thatcher, J. B. Wright, Generalized Finite Automata Theory with an Application to a Decision Problem of Second-order Logic

p. 619-620

Project Euclid

Review: A. J. Perlis, K. Samelson, Richard Goodman, Appendix Two: Preliminary Report of ACM-GAMM Committee on an International Algebraic Language

Culik, Karel

p. 620-622

Project Euclid

Review: J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur, A. J. Perlis, H. Rutishauser, K. Vauquois, J. H. Wegstein, A. van Wijngaarden, M. Woodger, Report on the Algorithmic Language ALGOL 60

Culik, Karel

p. 622-623

Project Euclid

Review: J. W. Backus, F. L. Bauer, J. Green, C. Katz, J. McCarthy, P. Naur, A. J. Perlis, H. Rutishauser, K. Samelson, B. Vauquois, J. H. Wegstein, A. van Wijngaarden, M. Woodger, Revised report on the Algorithmic Language ALGOL 60

Culik, Karel

p. 623-624

Project Euclid

Review: R. E. Stearns, J. Hartmanis, P. M. Lewis, Hierarchies of Memory Limited Computations

Savitch, Walter J.

p. 624-625

Project Euclid

Review: Octavian C. Basca, La Synthese des automates finis par la methode de A. Church

p. 625-626

Project Euclid

Review: R. E. Krichevskii, G. R. Kiss, Realization of Functions by Superpositions

Hodes, Louis

p. 626-627

Project Euclid

Review: F. A. Kabakov, M. Machover, On Modelling of Pseudo-Boolean Algebras by Realizability

Rose, Gene F.

p. 627-628

Project Euclid

Review: Carlos E. Alchourron, Logic of Norms and Logic of Normative Propositions

Castaneda, Hector-Neri

p. 628-629

Project Euclid

Review: Gerhard Tintner, Foundations of Probability and Statistical Inference; G. A. Barnard, F. J. Anscombe, Bartlett, W. Perks, J. R. N. Stone, J. O. Irwin, G. Tintner, Discussion

Jeffrey, Richard C.

p. 630-631

Project Euclid

Review: Paul Arthur Schilpp, The Philosophy of Rudolf Carnap

Jeffrey, Richard C.

p. 631-633

Project Euclid

Further Citations

p. 633-640

Project Euclid

The Center of an Orthologic

Jeffcott, Barbara

p. 641-645

Project Euclid

Copeland Algebras

Demaree, Daniel B.

p. 646-656

Project Euclid

Almost Strongly Minimal Theories. II

Baldwin, John T.

p. 657-660

Project Euclid

$ZF \vdash \sum^0_4$ Determinateness

Paris, J. B.

p. 661-667

Project Euclid

$\sum_1$-Compactness and Ultraproducts

Cutland, Nigel

Kleinberg, E. M. ; Shore, R. A.

p. 668-672

Project Euclid

Weak Compactness and Square Bracket Partition Relations

p. 673-676

Project Euclid

$\alpha$-Degrees of $\alpha$-Theories

Metakides, George

p. 677-682

Project Euclid

A Proof Theoretic Proof of Scott's General Interpolation Theorem

Africk, Henry

p. 683-695

Project Euclid

Completeness of an Ancient Logic

Corcoran, John

p. 696-702

Project Euclid

An Extension of Ackermann's Set Theory

Perlis, Donald

p. 703-704

Project Euclid

$L_{\omega_1\omega}$ is Enough: A Reduction Theorem for Some Infinitary Languages

Reyes, Gonzalo E.

p. 705-710

Project Euclid

Post Completeness in Modal Logic

Segerberg, Krister

p. 711-715

Project Euclid

Noncompactness in Propositional Modal Logic

Thomason, S. K.

p. 716-720

Project Euclid

Zermelo-Fraenkel Consistency Results by Fraenkel-Mostowski Methods

Pincus, David

p. 721-743

Project Euclid

Review: Errett Bishop, Foundations of Constructive Analysis; Errett Bishop, A. Kino, J. Myhill, R. E. Vesley, Mathematics as a Numerical Language

Myhill, John

p. 744-747

Project Euclid

Review: Carl G. Hempel, Aspects of Scientific Explanation

Kasher, Asa

p. 747-749

Project Euclid

Review: Ludwik Borkowski, Uber Analytische und Synthetische Definitionen

Materna, Pavel

p. 749-750

Project Euclid

Review: S. Issman, Le Nominaisme Contemporain et la Notion d'Existence

Wedberg, Anders

p. 750-751

Project Euclid

Review: Janusz Chmielewski, Notes on Early Chinese Logic

Boh, Ivan

p. 751-752

Project Euclid

Review: Gerhard Gentzen, The Collected Papers of Gerhard Gentzen

Schutte, K.

p. 752-753

Project Euclid

Review: Atwell R. Turquette, Modality, Minimality, and Many-valuedness

Nakamura, Akira

p. 753-754

Project Euclid

Review: Anjan Shukla, Decision Procedures for Lewis System S1 and Related Modal Systems

Bull, R. A.

p. 754-755

Project Euclid

Review: M. D. Gladstone, On the Number of Variables in the Axioms

Harrop, Ronald

p. 755-756

Project Euclid

Review: A. V. Kuznecov, E. Mendelson, Undecidability of the General Problems of Completeness, Decidability and Equivalence for Propositional Calculi

Yasuhara, Ann

p. 756-757

Project Euclid

Review: Peter G. Hinman, Hierarchies of Effective Descriptive Set Theory

Moschovakis, Yiannis N.

p. 758-759

Project Euclid

Review: C. Boucher, Lecons sur La Theorie des Automates Mathematiques

Blikle, Andrzej

p. 759-760

Project Euclid

[Omnibus Review]

Stone, Harold S.

p. 760-762

Project Euclid

Review: V. V. Visin, J. N. Whitney, Identical Transformations in Four-Place Logic; V. L. Murskii, Elliott Mendelson, The Existence in Three-valued Logic of a Closed Class with Finite Basis, not Having a Finite Complete System of Identities

Seifert, Ralph

p. 762-763

Project Euclid

Review: J. L. Bell, A. B. Slomson, Models and Ultraproducts: An Introduction

p. 763-764

Project Euclid

Review: S. Feferman, G. Kreisel, Persistent and Invariant Formulas Relative to Theories of Higher Order; Solomon Feferman, Persistent and Invariant Formulas for Outer Extensions

Barwise, K. Jon

p. 764-765

Project Euclid

Review: Andrzej Mostowski, Imre Lakatos, Recent Results in Set Theory; G. Kreisel, A. Robinson, L. Kalmar, A. Mostowski, Discussion; Andrzej Mostowski, On Some New Metamathematical Results Concerning Set Theory

Jech, T.

p. 765-766

Project Euclid

Review: P. C. Gilmore, An Alternative to Set Theory; P. C. Gilmore, The Monadic Theory of Types in the Lower Predicate Calculus

Rundle, Bede

p. 766-767

Project Euclid

Review: Ernst-Jochen Thiele, Ein Axiomatisches System der Mengenlehre Nach Zermelo und Fraenkel

Bernays, Paul

p. 767-768

Project Euclid

Review: Willard Van Orman Quine, Set Theory and Its Logic

Kneebone, G. T.

p. 768-769

Project Euclid

Further Citations

p. 770-774

Project Euclid

Meeting of the Association for Symbolic Logic: St. Louis 1972

Jockusch, Carl G. ; Ullian, Joseph S. ; Barrett, Robert B.

p. 775-782

Project Euclid

Association for Symbolic Logic