PD Dr. Christine Gaßner

Abstract computation over first-order structures. Part IIb: Moschovakis' operator and other non-determinisms (Preprint)

AC and the Independence of the Law of Trichotomy in Second-Order Henkin Logic (Preprint)

AC and the Independence of WO in Second-Order Henkin Logic (Part I, Part II)