Geodesic

Tome 17 (1975)

Sommaire

On Kalmar's consistency proof and a generalization of the notion of ...-consistency.
p. 3-8
Zur Theorie der spektralen Darstellung von Prädikaten durch Ausdrücke der Prädikatenlogik 1. Stufe.
p. 9-16
A type-open minimal model.
p. 17-24
Combinatorial systems defined over one- and two-letter alphabets.
p. 25-34
A characterization of r-maximal sets.
p. 35-36
Embedding relations in the lattice of recursively enumerable sets.
p. 37-42
A note on undecidable extensions of monadic second order successor arithmetic.
p. 43-44
Ein Vollständigkeitsbeweis für die aussagenlogischen Modalitätensysteme M, S4, Br und S5.
p. 45-50
On the decidability of p', p'' and p''*.
p. 51-54
Ein ausgezeichnetes Modell für die intuitionistische Typenlogik.
p. 55-60
Über Hilbert's reale und ideale Elemente.
p. 61-70
The recursive sets in certain monadic second order fragments of arithmetic.
p. 71-80
On two complete sets in the analytical and the arithmetical hierarchies.
p. 81-84
Liberated versions of T, S4, and S5.
p. 85-90
Various remarks on quasi-universal model classes.
p. 91-96
Model-interpretability into trees and applications.
p. 97-104
Die m-Grade logischer Entscheidungsprobleme.
p. 105-112
Definierbare Funktionen im ...-Kalkül mit Typen.
p. 113-114
Die mit Nestedstackautomaten berechenbaren Funktionen sind elementar.
p. 115-128
Quasi-axiomatic classes.
p. 129-134
Zur konstruktiven Differenzierbarkeit von monotonen berechenbaren Funktionen.
p. 135-144
On interpolation when function symbols are present.
p. 145-158
Interpolation formulae for predicates and terms which carry their own history.
p. 159-170
Einführung der Normalfunktionen ... ohne Auswahlaxiom und ohne Regularitätsbedingung.
p. 171-178
Die Beziehungen zwischen den Ordinalzahlensystemen ... und ...(...).
p. 179-190