Geodesic

Tome 13 (1970)

Sommaire

Modelltheoretische Untersuchungen in der Kripke-Semantik.
p. 3-21
Metamathematische Begriffe in Standardtheorien.
p. 22-38
Hierarchies of number-theoretic functions. I.
p. 39-51
The unique existential quantifier.
p. 52-54
Ein Henkin-Vollständigkeitsbeweis für die intuitionistische Prädikatelogik bezüglich der Kripke-Semantik.
p. 55-59
Über die mit Stackautomaten berechenbaren Funktionen.
p. 60-73
Ein Bezeichnungssystem für Ordinalzahlen.
p. 74-90
Substitution algebras in their relation to cylindric algebras.
p. 91-96
Hierarchies of number-theoretic functions. II.
p. 97-113
Hierarchien primitiv-rekursiver Funktionen im Transfiniten.
p. 114-133
Kripke-Semantik der derivativen Prädikatelogik.
p. 134-135
A classification of the ordinal recursive functions.
p. 136-153
Remarks on limitultrapowers.
p. 154-157
Harmonische Analysis bei Aussagenkalkülen.
p. 158-167
Logische Kategorien.
p. 168-193