Some applications of Gentzens second consistency proof.
- Published in:
- Mathematische Annalen, 1969, v. 181, n. 4, p. 325, doi. 10.1007/BF01350671
- By:
- Publication type:
- Article
Works matching IS 00255831 AND DT 1969 AND VI 181 AND IP 4
Results: 9
1
2
A generalized lebesgue-type integral.
- Published in:
- Mathematische Annalen, 1969, v. 181, n. 4, p. 311, doi. 10.1007/BF01350670
- By:
- Publication type:
- Article
3
A note of Shimura's paper 'discontinuous groups and abelian varieties'.
- Published in:
- Mathematische Annalen, 1969, v. 181, n. 4, p. 345, doi. 10.1007/BF01350672
- By:
- Publication type:
- Article
4
Ein kombinatorischer Beweis des Satzes von Kuratowski zur Charakterisierung ebener Graphen.
- Published in:
- Mathematische Annalen, 1969, v. 181, n. 4, p. 279, doi. 10.1007/BF01350666
- By:
- Publication type:
- Article
5
Difference properties for Banach-valued functions.
- Published in:
- Mathematische Annalen, 1969, v. 181, n. 4, p. 288, doi. 10.1007/BF01350668
- By:
- Publication type:
- Article
6
On the Haar measures of subgroups.
- Published in:
- Mathematische Annalen, 1969, v. 181, n. 4, p. 285, doi. 10.1007/BF01350667
- By:
- Publication type:
- Article
7
Induktive Limiten nicht lokal-konvexer topologischer Vektorräume.
- Published in:
- Mathematische Annalen, 1969, v. 181, n. 4, p. 269, doi. 10.1007/BF01350665
- By:
- Publication type:
- Article
8
Das Spektrum der stetigen Endomorphismen von ψ.
- Published in:
- Mathematische Annalen, 1969, v. 181, n. 4, p. 297, doi. 10.1007/BF01350669
- By:
- Publication type:
- Article
9
Approximation theorems connected with generalized translations.
- Published in:
- Mathematische Annalen, 1969, v. 181, n. 4, p. 255, doi. 10.1007/BF01350664
- By:
- Publication type:
- Article