Volume 15; Issue 1-2

Archive for Mathematical Logic

Volume 15; Issue 1-2
1

Über die Kennzeichnung von Junktoren durch die Gestalt der herleitbaren Ausdrücke

Klemens Döpp
Journal:
Archive for Mathematical Logic
Year:
1972
Language:
german
File:
PDF, 186 KB
german, 1972
2

Measures of centrality and complexity for partial propositional calculi

E. William Chapin
Journal:
Archive for Mathematical Logic
Year:
1972
Language:
english
File:
PDF, 714 KB
english, 1972
3

Jede mit Stackautomaten berechenbare Funktion ist elementar

Horst Müller
Journal:
Archive for Mathematical Logic
Year:
1972
Language:
german
File:
PDF, 662 KB
german, 1972
4

λ-definierbare Funktionen auf Peanoalgebren

Gerd Mitschke
Journal:
Archive for Mathematical Logic
Year:
1972
Language:
german
File:
PDF, 261 KB
german, 1972
5

On the consistency of the generalized continuum hypothesis

Alexander Abian, James Bainbridge
Journal:
Archive for Mathematical Logic
Year:
1972
Language:
english
File:
PDF, 215 KB
english, 1972
6

Vergleich zweier Bezeichnungssysteme für Ordinalzahlen

Helmut Pfeiffer
Journal:
Archive for Mathematical Logic
Year:
1972
Language:
german
File:
PDF, 710 KB
german, 1972
7

Generalized quantifiers and well orderings

A. B. Slomson
Journal:
Archive for Mathematical Logic
Year:
1972
Language:
english
File:
PDF, 956 KB
english, 1972
9

Bemerkungen über minimale Modelle

Jörg Flum
Journal:
Archive for Mathematical Logic
Year:
1972
Language:
german
File:
PDF, 225 KB
german, 1972
10

Die Automorphismenmengen der Modelle einerLQx-Theorie

Jörg Flum
Journal:
Archive for Mathematical Logic
Year:
1972
Language:
german
File:
PDF, 196 KB
german, 1972
11

Homorphie-invariante Formeln in der intuitionistischen Logik

Horst Osswald
Journal:
Archive for Mathematical Logic
Year:
1972
Language:
german
File:
PDF, 584 KB
german, 1972