Geodesic

Tome 15 (1972)

Sommaire

Über die Kennzeichnung von Junktoren durch die Gestalt der Herleitbaren Ausdrücke.
p. 3-6
Measures of centrality and complexity for partial propositional calculi.
p. 7-18
Jede mit Stackautomaten berechenbare Funktion ist elementar.
p. 19-30
...-definierbare Funktionen auf Peanoalgebren.
p. 31-35
On the consistency of the generalized continuum hypothesis.
p. 36-40
Vergleich zweier Bezeichnungssysteme für Ordinalzahlen.
p. 41-56
Generalized quantifiers and well orderings.
p. 57-73
On the relationship between weak compactness in L... and restricted second-order languages.
p. 74-78
Bemerkungen über minimale Modelle.
p. 79-82
Die automorhismenmengen der Modelle einer L...-Theorie.
p. 83-85
Homomorphe-invariante Formeln in der intuitionistischen Logik.
p. 86-96
L'Axiome de la paire dans le système de Zermelo.
p. 97-98
Dialogkalküle.
p. 99-102
Zur Konstruktiven Deutung der semantischen Vollständigkeit klassischer Quantoren- und Modalkalküle.
p. 103-117
Unterstruktur-Invariante Formeln in der intuitionistischen Logik.
p. 118-128
Beweistheoretische Charakterisierung einer Erweiterung der Grzegorczyk-Hierarchie.
p. 129-145
Ein algebraischer Beweis für das Church-Rosser-Theorem.
p. 146-157
A calculus for finitely satisfiable formulas with identity.
p. 158-163
Hanf numbers and well-ordering numbers.
p. 164-178
Some categories of models.
p. 179-190