Volume 39; Issue 2

Journal of Symbolic Logic

Volume 39; Issue 2
6

From Biology to Mathematics.by J. H. Woodger

Review by: Edward E. Dawson
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 325 KB
english, 1974
7

Freedom and Reason.by R. M. Hare

Review by: Brian F. Chellas
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 296 KB
english, 1974
8

A Noninitial Segment of Index Sets

Louise Hay
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 1.29 MB
english, 1974
9

Correction to `A Model Theoretic Characterisation of Effective Operations'

M. H. Löb
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 154 KB
english, 1974
10

Combinator Realizability of a Constructive Morse Set Theory

John Staples
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 840 KB
english, 1974
11

Sets of Theorems with Short Proofs

Daniel Richardson
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 664 KB
english, 1974
12

Systems of Notations and the Ramified Analytical Hierarchy

Joan D. Lukas and Hilary Putnam
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 1.00 MB
english, 1974
13

Boolean Extensions which Efface the Mahlo Property

William Boos
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 1.22 MB
english, 1974
14

On Projective Ordinals

Alexander S. Kechris
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 1.07 MB
english, 1974
15

Nonrecursive Tilings of the Plane. I

William Hanf
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 308 KB
english, 1974
16

Nonrecursive Tilings of the Plane. II

Dale Myers
Journal:
Journal of Symbolic Logic
Year:
1974
File:
PDF, 745 KB
1974
17

ΣnSets which are Δn-Incomparable (Uniformly)

Richard A. Shore
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 1002 KB
english, 1974
18

Recursively Presentable Prime Models

Leo Harrington
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 489 KB
english, 1974
19

The λ-Calculus is ω-Incomplete

G. D. Plotkin
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 410 KB
english, 1974
20

On Existence Proofs of Hanf Numbers

Harvey Friedman
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 642 KB
english, 1974
22

La Logica Simbolica.by Evandro Agazzi

Review by: Francesca Rivetti-Barbò
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 308 KB
english, 1974
24

Iterated Cohen Extensions and Souslin's Problem.by R. M. Solovay; S. Tennenbaum

Review by: Richard Mansfield
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 317 KB
english, 1974
25

Forcing with Perfect Closed Sets.by Gerald E. Sacks

Review by: J. R. Shoenfield
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 209 KB
english, 1974
26

On the Cardinality of Σ1/2 Sets of Reals.by Robert M. Solovay

Review by: Frank R. Drake
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 209 KB
english, 1974
27

Measurable Cardinals and Δ1/3 well-Orderings.by Jack H. Silver

Review by: Menachem Magidor
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 313 KB
english, 1974
28

Elementary Embeddings and Infinitary Combinatorics.by Kenneth Kunen

Review by: James E. Baumgartner
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 212 KB
english, 1974
29

The Axiom of Determinateness.by Jens Erik Fenstad

Review by: A. S. Kechris
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 310 KB
english, 1974
31

Mathematical Foundations for Mathematics.by Leon Henkin

Review by: Abraham Robinson
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 212 KB
english, 1974
32

The Invalidity of Markoff's Schema.by John Myhill

Review by: Joan Rand Moschovakis
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 318 KB
english, 1974
33

A Palatable Substitute for Kripke's Schema.by R. E. Vesley; A. Kino; J. Myhill

Review by: William A. Howard
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 213 KB
english, 1974
34

An Algebraic Proof of the Barwise Compactness Theorem.by Carol Karp; Jon Barwise

Review by: N. J. Cutland
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 209 KB
english, 1974
35

Applications of Strict Π 1 1 Predicates to Infinitary Logic

Review by: N. J. Cutland
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 309 KB
english, 1974
36

Universal Classes in Infinitary Languages.by Jerome Malitz

Review by: Jörg Flum
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 208 KB
english, 1974
37

The Representation of Relation Algebras, II.by Roger C. Lyndon

Review by: J. Donald Monk
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 219 KB
english, 1974
38

Representations of Integral Relation Algebras.by Ralph McKenzie

Review by: Don Pigozzi
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 219 KB
english, 1974
39

Generalized Interpolation and Definability.by David W. Kueker

Review by: E. G. K. López-Escobar
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 327 KB
english, 1974
40

Ob Algebraiceskih Konstrukciah Sohranauscih Kompaktnost.by S. R. Kogalovskij

Review by: Leszek Pacholski
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 324 KB
english, 1974
41

O Kompaktnyh Klassah Algebraiceskih Sistem.by S. R. Kogalovskij

Review by: Leszek Pacholski
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 217 KB
english, 1974
43

Functional Semantics of Algebraic Theories.by F. William Lawvere

Review by: Calvin C. Elgot
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 314 KB
english, 1974
45

The Number of Structures of Finite Relations.by Robert L. Davis

Review by: David Miller
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 210 KB
english, 1974
46

Vergleich zweier Bezeichnungssysteme fur Ordinalzaklen.by Helmut Pfeiffer

Review by: Hilbert Levitz
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 308 KB
english, 1974
48

Recursion in Objects of Finite Type.by Gerald E. Sacks

Review by: D. A. Clarkehisao
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 317 KB
english, 1974
49

On the Degrees of Index Sets.by C. E. M. Yates

Review by: Louise Hay
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 214 KB
english, 1974
50

On the Degrees of Index Sets. II.by C. E. M. Yates

Review by: Louise Hay
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 214 KB
english, 1974
54

Recursive Function Theory and Numerical Analysis.by Webb Miller

Review by: J. P. Cleave
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 206 KB
english, 1974
55

On Formalised Computer Programs.by D. C. Luckham; D. M. R. Park; M. S. Paterson

Review by: D. C. Cooper
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 206 KB
english, 1974
57

Algorithmic Approximations.by Erwin Engeler

Review by: R. M. Burstall
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 227 KB
english, 1974
58

Mathematical Theory of Partial Correctness.by Zohar Manna

Review by: Andrzej Blikle
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 227 KB
english, 1974
59

The Enumerability and Invariance of Complexity Classes.by F. D. Lewis

Review by: Nancy A. Lynch
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 207 KB
english, 1974
61

Formalization and Automatic Theorem-Proving.by Hao Wang; Wayne A. Kalenich

Review by: Joyce Friedman
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 210 KB
english, 1974
63

Some Embedding Theorems for Modal Logic.by David Makinson

Review by: S. K. Thomason
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 208 KB
english, 1974
67

Peirce's Icons for Deductive Logic.by Atwell R. Turquette

Review by: Alan Ross Anderson
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 216 KB
english, 1974
68

Two Soviet Studies on Fergeby Ignacio Angelelli; B. V. Birjukov

Angelelli, Ignacio, Birjukov, B. V.
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 227 KB
english, 1974
71

Lógica y Matemáticaby Jean Dieudonné

Review by: O. Chateaubriand
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 331 KB
english, 1974
72

Logic, Computation and Philosophy.by Hao Wang

Review by: Georg Kreisel
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 330 KB
english, 1974
74

On a Fregean Dogma.by Fred Sommers; Imre Lakatos

Review by: Gerald Standley
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 320 KB
english, 1974
75

Discussion.by L. Kalmár; M. Dummett; C. Lejewski; W. V. Quine; F. Sommers

Review by: Gerald Standley
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 299 KB
english, 1974
77

Fatalism.by Richard Taylor;Fatalism and Professor Taylor.by Bruce Aune;Professor Taylor on Fatalism.by John Turk Saunders;Fatalism and Ability: I.by Richard Taylor;Fatalism and Ability: II.by Peter Makepeace;Fatalism and Ability: III. Fatalism and Linguistic Reform.by John Turk Saunders;A Logical Error in Taylor's "Fatalism."by Richard Sharvy;Fatalism and the Logic of Ability.by John Turk Saunders;Taylor's Fatal Fallacy.by Raziel Abelson;A Note on Fatalism.by Richard Taylor;Tautology and Fatalism.by Richard Sharvy;Fatalistic Arguments.by Steven Cahn;Comment.by Richard Taylor;Fatalism and Ordinary Language.by John Turk Saunders;Fallacies in Taylor's "Fatalism."by Charles D. Brown;Excluded Middle, Bivalence and Fatalism.by Storrs McCall

Review by: Jonathan Bennett
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 423 KB
english, 1974
79

Hare's Debtors.by David P. Gauthier

Review by: Brian F. Chellas
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 192 KB
english, 1974
80

Further Citations

Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 393 KB
english, 1974
81

Alan Ross Anderson Memorial Fund

Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 164 KB
english, 1974
82

Notice of the Society for Exact Philosophy

Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 164 KB
english, 1974
83

Notice of the New Journal Teaching Philosophy

Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 164 KB
english, 1974
84

Meeting of the Association for Symbolic Logic: Orleans, France, 1972

J. P. Calais, J. Derrick and G. Sabbagh
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 1.72 MB
english, 1974
87

Back Matter

Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 218 KB
english, 1974
89

Analytic Inductive Definitions

Douglas Cenzer
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 321 KB
english, 1974
90

A General Interpreted Modal Calculus.by Aldo Bressan;Foreword.by Nuel D. Belnap,

Review by: R. A. Bull
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 265 KB
english, 1974
92

Ein Bezeichnungssystem für Ordinalzahlenby Helmut Pfeiffer

Review by: Hilbert Levitz
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 239 KB
english, 1974
93

Models with Orderings.by H. J. Keisler; B. van Rootselaar; J. F. Staal

Review by: H.-D. Ebbinghaus
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 350 KB
english, 1974
100

Meeting of the Association for Symbolic Logic, Orléans, France, 1972

Calais, J. P.
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 1.47 MB
english, 1974
102

JSL volume 39 issue 2 Cover and Front matter and Errata

Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 2.10 MB
english, 1974
103

JSL volume 39 issue 2 Cover and Back matter

Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 696 KB
english, 1974
104

Notice of the new journal Digital Processes

Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 56 KB
english, 1974
105

Alan Ross Anderson memorial fund

Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 58 KB
english, 1974
106

Notice of the Society for Exact Philosophy

Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 58 KB
english, 1974
107

Notice of the new journal Teaching Philosophy

Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 58 KB
english, 1974
108

Related Citations

Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 225 KB
english, 1974
109

Grundlagen der Mathematik II.by D. Hilbert; P. Bernays

Review by: G. T. Kneebone
Journal:
Journal of Symbolic Logic
Year:
1974
Language:
english
File:
PDF, 255 KB
english, 1974