Miscellaneous front pages, J. Symbolic Logic, Volume 43, Issue 1 (1978)

• View Abstract

On the Inconsistency of Systems Similar to $\mathscr{F}^\ast_{21}$

M. W. Bunder and R. K. Meyer; 1-2

• View Abstract

First Steps in Intuitionistic Model Theory

H. De Swart; 3-12

• View Abstract

Controlling the Dependence Degree of a Recursive Enumerable Vector Space

Richard A. Shore; 13-22

• View Abstract

Relativized Realizability in Intuitionistic Arithmetic of All Finite Types

Nicolas D. Goodman; 23-44

• View Abstract

Degrees of Sensible Lambda Theories

Henk Barendregt, Jan Bergstra, Jan Willem Klop and Henri Volken; 45-55

• View Abstract

Projective Algebra and the Calculus of Relations

A. R. Bednarek and S. M. Ulam; 56-64

• View Abstract

Saturated Ideals

Kenneth Kunen; 65-76

• View Abstract

Separation Principles and the Axiom of Determinateness

Robert A. Van Wesep; 77-81

• View Abstract

The Model Theory of Ordered Differential Fields

Michael F. Singer; 82-91

• View Abstract

Rings which Admit Elimination of Quantifiers

Bruce I. Rose; 92-112

• View Abstract

Note on an Induction Axiom

J. B. Paris; 113-117

• View Abstract

Provable Wellorderings of Formal Theories for Transfinitely Iterated Inductive Definitions

W. Buchholz and W. Pohlers; 118-125

• View Abstract

Existentially Complete Torsion-Free Nilpotent Groups

D. Saracino; 126-134

• View Abstract

Sets Which Do Not Have Subsets of Every Higher Degree

Stephen G. Simpson; 135-138

• View Abstract

Review: Jon Barwise, Admissible Sets and Structures. An Approach to Definability Theory

Mark Nadel; 139-144

• View Abstract

Review: M. A. Dickmann, Large Infinitary Languages. Model Theory

Michael Makkai; 144-145

• View Abstract

Review: Aubert Daigneault, Studies in Algebraic Logic

Anne Preller; 145-147

• View Abstract

Review: Paul Bernays, Vorwort. Abhandlungen zur Philosophie der Mathematik

K. Schutte; 147

• View Abstract

Review: Paul Bernays, Probleme der Theoretischen Logik

K. Schutte; 147-148

• View Abstract

Review: Paul Bernays, Die Philosophie der Mathematik und die Hilbertsche Beweistheorie

K. Schutte; 148-149

• View Abstract

Review: Paul Bernays, Uber den Platonismus in der Mathematik

K. Schutte; 149

• View Abstract

Review: Paul Bernays, Thesen und Bemerkungen zu den Philosophischen Fragen und zur Situation der Logisch-Mathematischen Grundlagenforschung

K. Schutte; 149-150

• View Abstract

Review: Paul Bernays, Mathematische Existenz und Widerspruchfreiheit

K. Schutte; 150

• View Abstract

Review: Paul Bernays, Betrachtungen zum Paradoxon von Thoralf Skolem

K. Schutte; 150

• View Abstract

Review: Paul Bernays, Betrachtungen zu Ludwig Wittgensteins "Bemerkungen uber die Grundlagen der Mathematik

K. Schutte; 150

• View Abstract

Review: Paul Bernays, Die Mannigfaltigkeit der Direktiven fur die Gestaltung Geometrischer Axiomensysteme

K. Schutte; 150-151

• View Abstract

Review: Paul Bernays, Zur Rolle der Sprache in Erkenntnistheoretischer Hinsicht

K. Schutte; 151

• View Abstract

Review: Paul Bernays, Bemerkungen zur Philosophie der Mathematik

K. Schutte; 151-152

• View Abstract

Review: Paul Bernays, Die Schematische Korrespondenz und die Idealisierten Strukturen

K. Schutte; 152

• View Abstract

Review: Paul Bernays, Zum Symposium uber die Grundlagen der Mathematik

K. Schutte; 152-153

• View Abstract

Review: Helena Rasiowa, Olgierd Wojtasiewicz, Introduction to Modern Mathematics; Helena Rasiowa, Wstep do Matematyki Wspolczesnesj

Angelo Margaris; 153-154

• View Abstract

Review: Rozsa Peter, Rekursive Funktionen in der Komputer-Theorie

Hans Hermes; 154

• View Abstract

Review: Sheila A. Greibach, Theory of Program Structures: Schemes, Semantics, Verification

Robert L. Constable; 154-156

• View Abstract

Review: William E. McMahon, Hans Reichenbach's Philosophy of Grammar

Rita Nolan; 156-157

• View Abstract

Review: Nicholas Rescher, A Theory of Possibility. A Constructivistic and Conceptualistic Account of Possible Individuals and Possible Worlds

Glenn Kessler; 158-159

• View Abstract

Review: Nicholas Rescher, Plausible Reasoning. An Introduction to the Theory and Practice of Plausibilistic Inference

Paul W. Humphreys; 159-160

• View Abstract

Miscellaneous back pages, J. Symbolic Logic, Volume 43, Issue 1 (1978)

• View Abstract