Journal of Symbolic Logic

The Journal of Symbolic Logic publishes original scholarly work in symbolic logic. Founded in 1936, it has become the leading research journal in the field. The Journal aims to represent logic broadly, including its connections with mathematics and philosophy as well as newer aspects related to computer science and linguistics.


Volume 43, Issue 2

Publication Date: June, 1978

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

Ordinals Connected with Formal Theories for Transfinitely Iterated Inductive Definitions

W. Pohlers; 161-182

Toward Model Theory Through Recursive Saturation

John Stewart Schlipf; 183-206

Formalisations of Further $\mathbf{\aleph}_0$-Valued Lukasiewicz Propositional Calculi

Alan Rose; 207-210

An Incomplete Nonnormal Extension of $S3$

George F. Schumm; 211-212

A Type-Free Godel Interpretation

Michael Beeson; 213-227

Some Relations Between Classical and Constructive Mathematics

Michael Beeson; 228-246

Some Anomalies in Fitch's System $QD$

M. W. Bunder and Jonathan P. Seldin; 247-249

The $\mathbf{\aleph}_1$-Categoricity of Strictly Upper Triangular Matrix Rings Over Algebraically Closed Fields

Bruce I. Rose; 250-259

Simple and Hyperhypersimple Vector Spaces

Allen Retzlaff; 260-269

The Uniform Regular Set Theorem in $\alpha$-Recursion Theory

Wolfgang Maass; 270-279

Diagonalization in Degree Constructions

D. Posner and R. Epstein; 280-283

An Ideal Game

F. Galvin, T. Jech and M. Magidor; 284-292

Major Subspaces of Recursively Enumerable Vector Spaces

Iraj Kalantari; 293-303

Ideal Models and Some Not so Ideal Problems in the Model Theory of $L(Q)$

Kim B. Bruce; 304-321

Nowhere Simple Sets and the Lattice of Recursively Enumerable Sets

Richard A. Shore; 322-330

An Inelastic Model with Indiscernibles

Julia F. Knight; 331-334

Three Universal Representations of Recursively Enumerable Sets

James P. Jones; 335-351

Meeting of the Association for Symbolic Logic: Campinas, Brazil 1976

Ayda I. Arruda, Francisco Miro Quesada, Newton C. A. Da Costa and Rolando Chuaqui; 352-364

Annual Meeting of the Association for Symbolic Logic: Saint Louis, 1977

Jon Barwise, Kenneth Kunen and Joseph Ullian; 365-372

Reviews

[Omnibus Review]

S. K. Thomason; 373-376

Review: Hugues LeBlanc, Truth-Value Semantics

J. Michael Dunn; 376-377

Review: Susan Haack, Deviant Logic. Some Philosophical Issues

Karel Lambert; 377-379

Review: Nuel D. Belnap, Thomas B. Steel, The Logic of Questions and Answers; Urs Egli, Hubert Schleichert, Bibliography of the Theory of Questions and Answers

David Harrah; 379-380

Review: John E. Clifford, Tense and Tense Logic

Steven Kuhn; 381

Review: Alan Rose, Computer Logic

Richard J. Orgass; 381-382

Review: William Gustason, Dolph E. Ulrich, Elementary Symbolic Logic

James Moor and Jack Nelson; 382-383

Review: Howard Pospesel, Introduction to Logic. Propositional Logic; Howard Pospesel, Introduction to Logic. Predicate Logic

J. Christian Conradi; 383

Review: Martin Davis, Applied Nonstandard Analysis

Lawrence D. Kugler; 383-384

Review: Frank R. Drake, Set Theory. An Introduction to Large Cardinals

Azriel Levy; 384

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


2013 © Association for Symbolic Logic