A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions

In this article we study subsystems SIDᵥ of the theory ID₁ in which fixed point induction is restricted to properly stratified formulas.

Weishenme Zhongguo zai diyi ci shijie dazhan zhong juyou zhongyao zuoyong 为什么中国在第一次世界大战中具有重要作用 (Why China Played an Important Role in the First World War)

Aufbauend auf dem analytischen Tool des Totalen Krieges (vgl. den Artikel des Autors zu Controversy Total War in 1914-1918-Online) werden im vorliegenden Beitrag die Anstrengungen Chinas im Ersten Weltkrieg zu denjenigen anderer nicht europäischer Länder wie Australien, Südafrika oder Indien in Bezug gesetzt. Dabei wird das Ziel verfolgt, den globalen Charakter eines Konfliktes deutlich zu machen, der zurecht als erster Weltkrieg bezeichnet wird und in welchem China sicherlich eine weit bedeutsamere Rolle spielte, als es gemeinhin in der Historiographie dargestellt wird. Ursprünglich wurde der Beitrag als Antwort auf die Frage konzipiert, warum nicht nur China für eine Globalgeschichte des Ersten Weltkrieges von Bedeutung war. Im Verlauf der Übersetzung wurde der Titel dahingehend angepasst, dass stärker die Bedeutung von Chinas Rolle im Ersten Weltkrieg betont wurde.