E-Books durchsuchen Decidable Theories II [1973] 1 The monadic second order theory of ω<Subscript>1</Subscript> Elektronische Ausgabe 129 Axiomatization of the monadic second order theory of ω<Subscript>1</Subscript> Elektronische Ausgabe