Proceedings of the Second Scandinavian Logic Symposium

Content:
Advisory Editorial Board
Page ii

Edited by
Page iii

Copyright page
Page iv

Preface
Page v

On the Decision Problem for Formulas in which all Disjunctions are Binary Original Research Article
Pages 1-18
Stal O. AANDERAA

The Immortality Problem for Non-Erasing Turing Machines Original Research Article
Pages 19-26
Dag Belsnes

Embeddings into Semigroups with Only a Few Defining Relations Original Research Article
Pages 27-40
W.W. Boone, D.J. Collins, Yu. V. MatijaseviДЌ

The Axiom of Determinateness Original Research Article
Pages 41-61
JensErik Fenstad

Une Extension De ĽInterpretation De Gödel a ĽAnalyse, Et Son Application a ĽElimination Des Coupures Dans ĽAnalyse Et La Theorie Des Types Original Research Article
Pages 63-92
Jean-Yves Girard

A Normalform in First Order Arithmetic Original Research Article
Pages 93-108
Herman R. Jervell

A Survey of Proof Theory II Original Research Article
Pages 109-170
G. Kreisel

Diophantine Representation of Recursively Enumerable Predicates Original Research Article
Pages 171-177
Yu. V. MatijaseviДЌ

Hauptsatz for the Intuitionistic Theory of Iterated Inductive Definitions Original Research Article
Pages 179-216
Per Martin-Löf

Hauptsatz for the Theory of Species Original Research Article
Pages 217-233
Per Martin-Löf

Ideas and Results in Proof Theory Original Research Article
Pages 235-307
Dag Prawitz

Predicate-Functor Logics^(*) Original Research Article
Pages 309-315
W.V. Quine

Infinite Forcing in Model Theory Original Research Article
Pages 317-340
Abraham Robinson

Qualitative Probability in a Modal Setting Original Research Article
Pages 341-352
Krister Segerberg

Normal Form Theorem for Bar Recursive Functions of Finite Type Original Research Article
Pages 353-367
W.W. Tait

Notions of Realizability for Intuitionistic Arithmetic and Intuitionistic Arithmetic in all Finite Types Original Research Article
Pages 369-405
A.S. Troelstra