PD Dr. Christine Gaßner
Contact Information
Institute of Mathematics and Computer Science
Walther-Rathenau-Str. 47
17489 Greifswald, Germany
My current research projects
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)
A BSS-RAM Model for Abstract Computation (See also talks: Leeds, Verona)
Main Topics of the Arbeitstreffen
