Volume 38; Issue 2

Journal of Symbolic Logic

Volume 38; Issue 2
2

Infinite Exponent Partition Relations and Well-Ordered Choice

E. M. Kleinberg and J. I. Seiferas
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 291 KB
english, 1973
4

Operations in Polyadic Algebras.by Aubert Daigneault

Review by: Stephen D. Comer
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 129 KB
english, 1973
5

On the First-Order Logic of Terms

Lars Svenonius
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 294 KB
english, 1973
6

The Set Theoretical Foundations of Nonstandard Analysis

N. C. K. Phillips
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 152 KB
english, 1973
7

Borel Sets and Ramsey's Theorem

Fred Galvin and Karel Prikry
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 208 KB
english, 1973
8

Mitotic Recursively Enumerable Sets

Richard E. Ladner
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 362 KB
english, 1973
9

Bases of Countable Boolean Algebras

R. S. Pierce
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 122 KB
english, 1973
10

A Proof of the Cut-Elimination Theorem in Simple Type Theory

Satoko Titani
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 291 KB
english, 1973
11

Observations Concerning Elementary Extensions of ω-Models. II

W. Marek
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 190 KB
english, 1973
12

Minimal Degrees and the Jump Operator

S. B. Cooper
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 544 KB
english, 1973
13

Recursive Elements and Constructive Extensions of Computable Local Integral Domains

Glen H. Suter
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 564 KB
english, 1973
14

Discernible Elements in Models for Peano Arithmetic

Andrzej Ehrenfeucht
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 96 KB
english, 1973
15

The Relation of A to$\operatorname{Prov} \ulcorner A \urcorner$in the Lindenbaum Sentence Algebra

C. F. Kent
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 155 KB
english, 1973
16

The Word Problem for Free Fields

P. M. Cohn
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 201 KB
english, 1973
17

Individuals. An Essay in Descriptive Metaphysics.by P. F. Strawson

Review by: James Cargile
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 168 KB
english, 1973
19

The Significance of Current Criticisms of the Syllogism.by Henry Veatch

Review by: Ivan Boh
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 86 KB
english, 1973
20

Distribution: a Last Word.by P. T. Geach

Review by: Norman Kretzmann
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 102 KB
english, 1973
21

Enthymematic Consequence.by Rolf George

Review by: David Makinson
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 102 KB
english, 1973
22

Temporal Modalities in Arabic Logic.by Nicholas Rescher

Review by: Hans Kamp
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 131 KB
english, 1973
23

Normative Systems.by Carlos E. Alchourrón; Eugenio Bulygin

Review by: M. J. Cresswell
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 133 KB
english, 1973
24

A System of Deontic-Alethic Modal Logic.by Mark Fisher

Review by: Donald Paul Snyder
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 104 KB
english, 1973
25

Bases for S4 and S4.2 without Added Axioms.by J. Jay Zeman

Review by: Donald Paul Snyder
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 86 KB
english, 1973
26

Logique et Analyseby M. J. Cresswell

Review by: G. F. Schumm
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 128 KB
english, 1973
27

Decision Procedures and Semantics for C1, E1 and S0.50.by R. Routley

Review by: G. F. Schumm
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 101 KB
english, 1973
28

Propositional Quantifiers in Modal Logic.by Kit Fine

Review by: Daniel Gallin
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 101 KB
english, 1973
29

Aspectos de la Lógica Modal.by David Makinson

Review by: Florencio G. Asenjo
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 91 KB
english, 1973
30

Les S4-Algèbres Finies.by Jean Drabbe

Review by: David Makinson
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 91 KB
english, 1973
31

Finite Validity of Formulas of a Special Form.by V. A. Jankov

Review by: J. G. Anderson
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 98 KB
english, 1973
33

The Theory of Choice Sequences.by A. S. Troelstra; B. van Rootselaar; J. F. Staal

Review by: R. E. Vesley
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 89 KB
english, 1973
34

Recursive Progression of Intuitionistic Number Theories.by Reijiro Kurata

Review by: Solomon Feferman
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 123 KB
english, 1973
35

Introduction to Metamathematics.by Stephen Cole Kleene

Review by: H. B. Enderton
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 93 KB
english, 1973
36

Elementary Properties of the Group of Isolic Integers.by John Myhill

Review by: Matthew Hassett
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 93 KB
english, 1973
37

A Note on a Lemma of J. W. Addison.by Richard L. Poss

Review by: H. B. Enderton
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 90 KB
english, 1973
38

Independence of a Strong Axiom of Choice.by Shaligram Singh

Review by: H. B. Enderton
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 93 KB
english, 1973
39

Two Remarks on Elementary Embeddings of the Universe.by Thomas J. Jech

Review by: Richard Mansfield
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 121 KB
english, 1973
40

On Constructing Models for Arithmetic.by Dana Scott

Review by: Elliott Mendelson
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 130 KB
english, 1973
43

Combinatory Logic with Discriminators.by John T. Kearns

Review by: Jonathan P. Seldin
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 128 KB
english, 1973
45

A Mathematical Introduction to Logic.by Herbert B. Enderton

Review by: J. R. Shoenfield
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 129 KB
english, 1973
46

Encyclopedia Universalisby R. Martin; G. Sabbagh

Review by: J. van Heijenoort
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 103 KB
english, 1973
47

A Concise Introduction to Logic.by Ian Hacking

Review by: Alfons Borgers
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 103 KB
english, 1973
48

Sets, Relations, and Functions.by James F. Gray

Review by: Alfons Borgers
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 103 KB
english, 1973
49

Logic, Computing Machines, and Automation.by Alice Mary Hilton

Review by: Robert F. Barnes, Jr.
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 128 KB
english, 1973
53

The Consistency of Classical Set Theory Relative to a Set Theory with Intuitionistic Logic

Harvey Friedman
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 232 KB
english, 1973
54

A Finite Arithmetic

Philip T. Shepard
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 433 KB
english, 1973
55

Further Citations

Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 190 KB
english, 1973
57

An Application of ∑04Determinancy to the Degrees of Unsolvability

Carl G. Jockusch, Jr.
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 137 KB
english, 1973
59

Regressive Functions and Combinatorial Functions.by Carl E. Bredlau

Review by: Louise Hay
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 120 KB
english, 1973
61

Back Matter

Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 114 KB
english, 1973
62

Erratum

Journal:
Journal of Symbolic Logic
Year:
1973
File:
PDF, 22 KB
1973
63

Related Citations

Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 215 KB
english, 1973
64

JSL volume 38 issue 2 Cover and Front matter

Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 9.80 MB
english, 1973
65

JSL volume 38 issue 2 Cover and Back matter

Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 4.91 MB
english, 1973
66

Meeting of the Association for Symbolic Logic

Anil Nerode and K. J. Barwise
Journal:
Journal of Symbolic Logic
Year:
1973
Language:
english
File:
PDF, 458 KB
english, 1973