Ein Beweis des Grauertschen Bildgarbensatzes nach Ideen von B. Malgrange.
O. Forster, K. Knorr (1971)
Manuscripta mathematica
Similarity:
Displaying similar documents to “Ein syntaktischer Beweis für die Zulässigkeit der Schnittregel im Kalkül von Schütte für die intuitionistische Typenlogik.”
Ein Beweis des Grauertschen Bildgarbensatzes nach Ideen von B. Malgrange.
Ein starker Normalisationssatz für die intuitionistische Typentheorie.
Wolfram Pohler (1973)
Manuscripta mathematica
Similarity:
Ein massentheoretisches Marginalproblem.
Ulrich Oppel (1973)
Manuscripta mathematica
Similarity:
Ein Funktionstheoretischer Beweis des Satzes von Müntz.
Wilhelm Forst (1970)
Manuscripta mathematica
Similarity:
Über ein Transmissionsproblem mit Integro-Differentialbedingungen.
Jörg Donig (1977/78)
Manuscripta mathematica
Similarity:
Ein Kongruenzsatz für Eiflächen.
Rainer Walden, Wilhelm Vortisch (1970)
Manuscripta mathematica
Similarity:
Eine Charaketrisierung der Sphäre im E3.
Roswitha Blind (1977)
Manuscripta mathematica
Similarity:
Vollständigkeit und Schnittelimination in der intuitionistischen Typenlogik.
Horst Osswald (1972)
Manuscripta mathematica
Similarity:
Ein Semialgebraischer Beweis der Topologischen Form des Hauptsatzes von zariski.
Roland Huber (1988)
Manuscripta mathematica
Similarity:
Über ein Bild der R4-Konfiguration (10...15...) im Linienraum.
E.A. Weiss (1931)
Journal für die reine und angewandte Mathematik
Similarity:
Ein dreidimensionales Gitterpunktproblem.
Werner Georg Nowak (1980/81)
Manuscripta mathematica
Similarity:
Ein einfacher Beweis der Transformationsformel für log ... (z).
R. Sczech (1978)
Mathematische Annalen
Similarity:
Ein verschärfter und verallgemeinerter Satz von Alexandrov.
Ulrich Huckenbeck (1987)
Manuscripta mathematica
Similarity:
Skolem-Normalformen.
Horst Luckhardt (1969)
Manuscripta mathematica
Similarity:
Ein einfacher Beweis des Dedekindschen Differentensatzes
W. Narkiewicz, A. Schinzel (1969)
Colloquium Mathematicae
Similarity:
Lokalkreisförmige Vektorgruppen.
Pawel Lurje (1974)
Manuscripta mathematica
Similarity: